?check_exp_named_subst: bool ->
UriManager.uri -> int -> Cic.context -> Cic.term -> Cic.term
-val typecheck : UriManager.uri -> Cic.obj * CicUniv.universe_graph
+ (* defaults to true *)
+val typecheck :
+ ?trust:bool -> UriManager.uri -> Cic.obj * CicUniv.universe_graph
(* FUNCTIONS USED ONLY IN THE TOPLEVEL *)