Module Lattices.Sig

module type Join_Semi_Lattice = sig ... end
module type With_Inter = sig ... end
module type With_Bottom = sig ... end
module type With_Top = sig ... end
module type Join_Semi_Lattice_With_Bottom = sig ... end
module type Join_Semi_Lattice_With_Inter_Bottom = sig ... end
module type Complete_Lattice = sig ... end
module type Integer_Lattice = sig ... end
module type Bitvector_Standard_Conversions = sig ... end
module type Bitvector_Lattice_No_Conversion = sig ... end
module type Bitvector_Lattice = sig ... end