1 exception Impossible of int
2 exception NotWellTyped of string
3 exception WrongUriToConstant of string
4 exception WrongUriToVariable of string
5 exception WrongUriToMutualInductiveDefinitions of string
7 exception RelToHiddenHypothesis
9 type types = {synthesized : Cic.term ; expected : Cic.term option};;
14 val find : 'a t -> Cic.term -> 'a
19 Cic.metasenv -> Cic.context -> Cic.term -> Cic.term option -> types CicHash.t