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 Logo* web site.
*Other names and brands may be claimed as the property of others.