hBDD-0.0.2: An abstraction layer for BDD libraries
Data.Boolean.BF
Contents
Boolean
Description
Synopsis
data BF Source
An abstract syntax tree-ish instance of the Boolean interface, sometimes useful for debugging.
Note the Eq instance is not semantic equality.
Eq
Constructors
Instances