method content_pres_db: db
end
-class virtual status =
+class virtual status uid =
object
- inherit NCic.status
+ inherit NCic.status uid
val content_pres_db = initial_db
method content_pres_db = content_pres_db
method set_content_pres_db v = {< content_pres_db = v >}
| NotationEnv.DisambiguationValue _ as v -> v
in
let ast_env_of_env env =
- prerr_endline ("### pp_env: " ^ NotationPp.pp_env status env);
+ (* prerr_endline ("### pp_env: " ^ NotationPp.pp_env status env); *)
List.map (fun (var, (ty, value)) -> (var, (ty, pp_value value))) env
in
(* prerr_endline ("### pattern matching from 2 to 1 on term " ^