Module Dummy_All_Basis.Memory_Backward

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