module Bool: sig .. end
sig
end
type t =
|
Top
True
False
Bottom
include Full_AI_Lattice_with_cardinality