Module With_Forward.Memory_Forward

val malloc : id:(int * string) -> malloc_size:int -> (memory, binary * memory) Transfer_functions.Forward_Arity.ar1
val unknown : level:int -> memory Transfer_functions.Forward_Arity.ar0