Module Term_logic

module Term_logic: sig .. end

Term constructors.

module type Constructor = sig .. end

Signature for logical constructors.

module Standard: Constructor

Logical constructors with no syntactic simplifications.

module Rbc: Constructor

Logical constructors with syntactic simplification based on Reduced Boolean Circuits.

module type Rewriter = sig .. end

Signature for Term Rewriters.

module Rbc_rewriter: Rewriter

A term rewriter based on Reduced Boolean Circuits.

Hosted by the

^* web site.
^*Other names and brands may be claimed as the property of others.