Typeclasses_errors (coq-core.Typeclasses

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