package logtk

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

Module Proof.RuleSource

A rule is a name for some specific inference or transformation rule that is used to deduce formulas from other formulas.

Sourcetype t = rule
Sourceval name : t -> string
Sourceval mk : string -> t
Sourceval mkf : ('a, Format.formatter, unit, t) format4 -> 'a
OCaml

Innovation. Community. Security.