Module MakeUF.Query

module Boolean_Lattice = SVA.Boolean_Lattice

module Integer_Lattice = SVA.Integer_Lattice

module Binary_Lattice : Single_value_abstraction.Sig.BITVECTOR_LATTICE

module Enum_Lattice : Single_value_abstraction.Sig.ENUM_LATTICE

val boolean : t -> boolean -> Boolean_Lattice.t

val integer : t -> integer -> Integer_Lattice.t

val binary : size:Units.In_bits.t -> t -> binary -> Binary_Lattice.t

val enum : t -> enum -> Enum_Lattice.t