exception WrongUriToConstant
exception WrongUriToVariable of string
exception WrongUriToInductiveDefinition
-val cook_obj : Cic.obj -> UriManager.uri -> (int * Cic.obj) list
+
+(* init register the cooking function defined in this module so that it *)
+(* will be used to retrieve the cooked objects from the environment *)
+val init : unit -> unit