helm/interface/cicCooking.mli

   1 exception Impossible
   2 exception NotImplemented of int * string
   3 exception WrongUriToConstant
   4 exception WrongUriToVariable of string
   5 exception WrongUriToInductiveDefinition
   6 val cook_obj : Cic.obj -> UriManager.uri -> (int * Cic.obj) list