*)
(* These are the only exceptions that will be raised *)
-exception TypeCheckerFailure of string
-exception AssertFailure of string
+exception TypeCheckerFailure of string Lazy.t
+exception AssertFailure of string Lazy.t
val debrujin_constructor : UriManager.uri -> int -> Cic.term -> Cic.term