Module Domains.With_Noop

module Boolean_Backward : sig ... end

module Integer_Backward : sig ... end

module Binary_Backward : sig ... end

module Memory_Backward : sig ... end

val memory_is_bottom : 'a -> bool

val boolean_is_bottom : 'a -> bool

val binary_is_bottom : size:'a -> 'b -> bool