Module Assert_false.Memory

module Memory = Datatype_sig.Unit

module Memory_Forward : sig ... end

module Memory_Backward = Memory_Forward

val memory_is_bottom : 'a -> 'b