Module Lattice.Boolean.B.Datatype


module Datatype: Datatype.Bool