Up
Module
Lattice.Boolean.B.Datatype
module
Datatype:
Datatype.Bool