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