package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Ident : IDENT
module Opt : OPT

Signature

type t
type ident = Ident.t
val empty : t
val add : Constr.constr -> ident -> t -> t
val union : t -> t -> t
val subst : Mod_subst.substitution -> t -> t
val search_pattern : t -> Constr.constr -> ident list
val find_all : t -> ident list
val map : (ident -> ident) -> t -> t
val refresh_metas : t -> t