(* typechecks the object, raising an exception if illtyped *)
val typecheck_obj : NCic.obj -> unit
+val typeof:
+ subst:NCic.substitution -> metasenv:NCic.metasenv ->
+ NCic.context -> NCic.term ->
+ NCic.term
+
+val set_logger:
+ ([ `Start_type_checking of NUri.uri
+ | `Type_checking_completed of NUri.uri ] -> unit) -> unit