package codex

  1. Overview
  2. Docs

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