Module builder

Functions

eq

Constructs a node that evaluates to true if and only if x and y evaluate to the same value.

reduce_conjunction

Constructs a node that evaluates to true if and only if all of the nodes returned by i evaulate to true.

reduce_disjunction

Constructs a node that evaluates to true if and only if at least one of the nodes returned by i evaulates to true.

reduce_xor

Constructs a node that evaluates to true if and only if an odd number of the nodes returned by i evaulate to true.