Module With_Memory_Forward_Backward.Memory_Backward

val malloc : id:(int * string) -> malloc_size:int -> (memory, binary * memory) Transfer_functions.Backward_Arity.ar1