Typeclasses_errors
type typeclass_error =
| NotAClass of EConstr.constr | |
| UnboundMethod of Names.GlobRef.t * Names.lident | (* Class name, method *) |
exception TypeClassError of Environ.env * Evd.evar_map * typeclass_error
val typeclass_error : Environ.env -> Evd.evar_map -> typeclass_error -> 'a
val not_a_class : Environ.env -> Evd.evar_map -> EConstr.constr -> 'a
val unbound_method :
Environ.env ->
Evd.evar_map ->
Names.GlobRef.t ->
Names.lident ->
'a