package coq

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

Module Firstorder_plugin.RulesSource

Sourcetype tactic = unit Proofview.tactic
Sourcetype seqtac = (Sequent.t -> tactic) -> Sequent.t -> tactic
Sourcetype lseqtac = Names.GlobRef.t -> seqtac
Sourcetype 'a with_backtracking = tactic -> 'a
Sourceval wrap : int -> bool -> seqtac
Sourceval clear_global : Names.GlobRef.t -> tactic
Sourceval axiom_tac : EConstr.constr -> Sequent.t -> tactic
Sourceval left_false_tac : Names.GlobRef.t -> tactic
OCaml

Innovation. Community. Security.