(* Debugging functions only *)
let string_of_pattern = NotationPp.pp_cic_appl_pattern
+
+ (* WR: hope it's safe to pass userid=None to NCicPp.status *)
let string_of_term t =
- (new NCicPp.status)#ppterm ~metasenv:[] ~subst:[] ~context:[] t
+ (new NCicPp.status None)#ppterm ~metasenv:[] ~subst:[] ~context:[] t
let classify = function
| Ast.ImplicitPattern