debug.ml

(* デバッグ用 *)
let rec print_env env =
  match env with
  | (x, v) :: rest -> (print_string (x^"="); print_value v; print_string " "; (print_env rest))
  | _              -> print_string "\n"

debug2.ml

(* デバッグ用 *)
let rec print_tyenv tyenv =
  match tyenv with
  | (x, t) :: rest -> (print_string (x^"="); print_type t; print_string " "; (print_tyenv rest))
  | _              -> print_string "\n"