Make (coq-core.Btermdn.Make)

Parameters

module Z : Stdlib.Map.OrderedType

type t

type pattern

val pattern : 
  Environ.env ->
  TransparentState.t option ->
  Pattern.constr_pattern ->
  pattern

val constr_pattern : 
  Environ.env ->
  Evd.evar_map ->
  TransparentState.t option ->
  EConstr.t ->
  pattern

val empty : t

val add : t -> pattern -> Z.t -> t

val rmv : t -> pattern -> Z.t -> t

val lookup : 
  Environ.env ->
  Evd.evar_map ->
  TransparentState.t option ->
  t ->
  EConstr.constr ->
  Z.t list