(** {2 Debugging} *)
val pp_env: env_type -> string
+val pp_value: CicNotationPt.value -> string
+val pp_value_type: CicNotationPt.value_type -> string
(** print "level2_pattern" entry on stdout, flushing afterwards *)
val print_l2_pattern: unit -> unit