blob: 498c45149f70df92a954c96fff770a92beb618a9 [file] [log] [blame] [edit]
type data
type t = data
val alloc : string -> data
val size : data -> Memory.address
val load : data -> Memory.address -> char
val drop : data -> unit