* http://cs.unibo.it/helm/.
*)
-(* This is the only exception that will be raised *)
+(* These are the only exceptions that will be raised *)
exception TypeCheckerFailure of string
exception AssertFailure of string
-val typecheck : UriManager.uri -> unit
+val typecheck : UriManager.uri -> Cic.obj
(* FUNCTIONS USED ONLY IN THE TOPLEVEL *)