Module `Domain.Query`

include module type of struct include Assert_false_domain.Domain.Query end

module Binary_Lattice = Assert_false_domain.Domain.Query.Binary_Lattice

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

module Enum_Lattice = Assert_false_domain.Domain.Query.Enum_Lattice

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

val reachable : 'a -> 'b

Module Domain.Query