Module Abstract_interp.Bool

module Bool: sig .. end

type t = 
| Top
| True
| False
| Bottom
include Full_AI_Lattice_with_cardinality