package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type contexts =
  1. | Parameters
  2. | Properties
type typeclass_error =
  1. | NotAClass of EConstr.constr
  2. | UnboundMethod of Names.GlobRef.t * Names.lident
exception TypeClassError of Environ.env * typeclass_error
val not_a_class : Environ.env -> EConstr.constr -> 'a
val unbound_method : Environ.env -> Names.GlobRef.t -> Names.lident -> 'a