contrib/xml/doubleTypeInference.mli


1
2
3
4
5

type types = { synthesized : Term.types; expected : Term.types option; } 

val double_type_of :
  Environ.env -> Evd.evar_map -> Term.constr -> Term.constr option ->
   types Acic.CicHash.t -> unit