Module Domain.Query

module Binary_Lattice : sig ... end

module Enum_Lattice : sig ... end

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

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

val reachable : Context.t -> memory -> Domains.Sig.Quadrivalent.t