package coq

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Zify_plugin.ZifySource

Sourcemodule type S = sig ... end
Sourcemodule InjTable : S
Sourcemodule UnOp : S
Sourcemodule BinOp : S
Sourcemodule CstOp : S
Sourcemodule BinRel : S
Sourcemodule PropUnOp : S
Sourcemodule UnOpSpec : S
Sourcemodule Saturate : S
Sourceval zify_tac : unit Proofview.tactic
Sourceval saturate : unit Proofview.tactic
Sourceval iter_specs : unit Proofview.tactic
Sourceval assert_inj : EConstr.constr -> unit Proofview.tactic
Sourceval elim_let : unit Proofview.tactic
Sourceval declared_term : Environ.env -> Evd.evar_map -> EConstr.t -> EConstr.t array -> EConstr.constr * EConstr.t array
OCaml

Innovation. Community. Security.