blob: 9987ba7e867fb33b098fcb5cb86cf43c237ce54d (
plain)
1
2
3
4
5
6
7
8
9
|
(* To control the runtime system and bytecode interpreter *)
external global_data : unit -> Obj.t array = "get_global_data"
external realloc_global_data : int -> unit = "realloc_global"
external static_alloc : int -> string = "static_alloc"
external static_free : string -> unit = "static_free"
external static_resize : string -> int -> string = "static_resize"
external execute_bytecode : string -> int -> Obj.t = "execute_bytecode"
external available_primitives : unit -> string array = "available_primitives"
|
