Single_value_abstraction.Sig
module Quadrivalent = Lattices.Quadrivalent
module type With_Boolean_Forward = sig ... end
module type With_Integer_Forward = sig ... end
module type With_Binary_Forward = sig ... end
module type With_Bitvector_Forward = sig ... end
module type With_Memory_Forward = sig ... end
module type With_Memory_Binary_Boolean_Forward = sig ... end
module type With_Memory_Binary_Integer_Boolean_Forward = sig ... end
module type With_Forward = sig ... end
module type With_Boolean_Backward = sig ... end
module type With_Integer_Backward = sig ... end
module type With_Bitvector_Backward = sig ... end
module type With_Binary_Backward = sig ... end
module type With_Memory_Backward = sig ... end
module type With_Memory_Binary_Boolean_Backward = sig ... end
module type With_Boolean_Forward_Backward = sig ... end
module type With_Integer_Forward_Backward = sig ... end
module type With_Bitvector_Forward_Backward = sig ... end
module type With_Binary_Forward_Backward = sig ... end
module type With_Memory_Forward_Backward = sig ... end
module type With_Binary_Boolean_Forward_Backward = sig ... end
module type With_Memory_Binary_Boolean_Forward_Backward = sig ... end
module type With_Forward_Backward = sig ... end
module type Boolean_Conversions = sig ... end
module type Integer_Conversions = sig ... end
module type Binary_Conversions = sig ... end
module Dummy_Conversions : sig ... end
module type Boolean_Lattice = sig ... end
module type Integer_Lattice = sig ... end
module type Binary_Lattice = Lattices.Sig.Bitvector_Lattice
module type Memory_Lattice = sig ... end
module type Boolean_Basis = sig ... end
module type Integer_Basis = sig ... end
module type Binary_Basis = sig ... end
module type Bitvector_Basis = sig ... end
module type Binary_Integer_Basis = sig ... end
module type All_Basis = sig ... end