package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t
type ident
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