Module Domain.Memory_Forward

val malloc : id:(int * string) -> malloc_size:int -> (memory, binary * memory) Domains.Domain_sig.Context_Arity_Forward(Context).ar1