Prelude

class Formula(*args, **kwargs)

Abstract base class for formulas.

A formula is a term of type BoolType() representing a logical proposition.