Module Idds.Boolean

module type Algebra = sig ... end