module Term_logic: Term constructors.
module type Constructor =
Signature for logical constructors.
Logical constructors with no syntactic simplifications.
Logical constructors with syntactic simplification based on
Reduced Boolean Circuits.
module type Rewriter =
Signature for Term Rewriters.
A term rewriter based on Reduced Boolean Circuits.
Hosted by the
* web site.
*Other names and brands may be claimed as the property