package coq-core

  1. Overview
  2. Docs
The Coq Proof Assistant -- Core Binaries and Tools

Install

Dune Dependency

Authors

Maintainers

Sources

coq-8.19.2.tar.gz
md5=5d1187d5e44ed0163f76fb12dabf012e
sha512=91bc81530fa4f6498961583ad51eac5001f139881788b88e360a866ad8e2a6e2c5bce86d1a580ab4cd4782bf49d48318767df82471ce33ba3ac143e5569ad33c

doc/coq-core.tactics/Rewrite/Internal/index.html

Module Rewrite.InternalSource

Sourceval build_signature : Environ.env -> Evd.evar_map -> EConstr.constr -> (EConstr.types * EConstr.types option) option list -> (EConstr.types * EConstr.types option) option -> Evd.evar_map * EConstr.constr * (EConstr.constr * EConstr.t option) list
Sourceval default_morphism : Environ.env -> Evd.evar_map -> ((EConstr.types * EConstr.types option) option list * (EConstr.types * EConstr.types option) option) -> EConstr.constr -> EConstr.constr * EConstr.t
OCaml

Innovation. Community. Security.