package coq

  1. Overview
  2. Docs
Formal proof management system

Install

Dune Dependency

Authors

Maintainers

Sources

coq-8.16.1.tar.gz
sha256=583471c8ed4f227cb374ee8a13a769c46579313d407db67a82d202ee48300e4b

doc/coq-core.tactics/Btermdn/Make/index.html

Module Btermdn.MakeSource

Parameters

Signature

Sourcetype t
Sourcetype pattern
Sourceval empty : t
Sourceval add : t -> pattern -> Z.t -> t
Sourceval rmv : t -> pattern -> Z.t -> t
Sourceval lookup : Environ.env -> Evd.evar_map -> TransparentState.t option -> t -> EConstr.constr -> Z.t list
OCaml

Innovation. Community. Security.