@grain/binaryen.ml 0.12.1 → 0.14.1

binaryen-archive/src/binaryen_stubs_expressions.c

@@ -1708,3 +1708,253 @@ caml_binaryen_tuple_extract_set_tuple(value _exp, value _value) {
   BinaryenTupleExtractSetTuple(exp, val);
   CAMLreturn(Val_unit);
 }
+
+// Ref operations
+CAMLprim value
+caml_binaryen_ref_null(value _module, value _ty) {
+  CAMLparam2(_module, _ty);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenType ty = BinaryenType_val(_ty);
+  BinaryenExpressionRef exp = BinaryenRefNull(module, ty);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_ref_is(value _module, value _op, value _value) {
+  CAMLparam3(_module, _op, _value);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenOp op = BinaryenOp_val(_op);
+  BinaryenExpressionRef val = BinaryenExpressionRef_val(_value);
+  BinaryenExpressionRef exp = BinaryenRefIs(module, op, val);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_ref_as(value _module, value _op, value _value) {
+  CAMLparam3(_module, _op, _value);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenOp op = BinaryenOp_val(_op);
+  BinaryenExpressionRef val = BinaryenExpressionRef_val(_value);
+  BinaryenExpressionRef exp = BinaryenRefAs(module, op, val);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_ref_func(value _module, value _name, value _ty) {
+  CAMLparam3(_module, _name, _ty);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  char* name = Safe_String_val(_name);
+  BinaryenType ty = BinaryenType_val(_ty);
+  BinaryenExpressionRef exp = BinaryenRefFunc(module, name, ty);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_ref_eq(value _module, value _left, value _right) {
+  CAMLparam3(_module, _left, _right);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenExpressionRef left = BinaryenExpressionRef_val(_left);
+  BinaryenExpressionRef right = BinaryenExpressionRef_val(_right);
+  BinaryenExpressionRef exp = BinaryenRefEq(module, left, right);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+// Table operations
+CAMLprim value
+caml_binaryen_table_get(value _module, value _name, value _index, value _ty) {
+  CAMLparam4(_module, _name, _index, _ty);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  char* name = Safe_String_val(_name);
+  BinaryenExpressionRef index = BinaryenExpressionRef_val(_index);
+  BinaryenType ty = BinaryenType_val(_ty);
+  BinaryenExpressionRef exp = BinaryenTableGet(module, name, index, ty);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_table_set(value _module, value _name, value _index, value _value) {
+  CAMLparam4(_module, _name, _index, _value);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  char* name = Safe_String_val(_name);
+  BinaryenExpressionRef index = BinaryenExpressionRef_val(_index);
+  BinaryenExpressionRef val = BinaryenExpressionRef_val(_value);
+  BinaryenExpressionRef exp = BinaryenTableSet(module, name, index, val);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_table_size(value _module, value _name) {
+  CAMLparam2(_module, _name);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  char* name = Safe_String_val(_name);
+  BinaryenExpressionRef exp = BinaryenTableSize(module, name);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_table_grow(value _module, value _name, value _value, value _delta) {
+  CAMLparam4(_module, _name, _value, _delta);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  char* name = Safe_String_val(_name);
+  BinaryenExpressionRef val = BinaryenExpressionRef_val(_value);
+  BinaryenExpressionRef delta = BinaryenExpressionRef_val(_delta);
+  BinaryenExpressionRef exp = BinaryenTableGrow(module, name, val, delta);
+  CAMLreturn(alloc_BinaryenExpressionRef(exp));
+}
+
+// TableGet operations
+CAMLprim value
+caml_binaryen_tableget_get_table(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  const char* name = BinaryenTableGetGetTable(exp);
+  CAMLreturn(caml_copy_string(name));
+}
+
+CAMLprim value
+caml_binaryen_tableget_set_table(value _exp, value _table) {
+  CAMLparam2(_exp, _table);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  char* table = Safe_String_val(_table);
+  BinaryenTableGetSetTable(exp, table);
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_tableget_get_index(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef index = BinaryenTableGetGetIndex(exp);
+  CAMLreturn(alloc_BinaryenExpressionRef(index));
+}
+
+CAMLprim value
+caml_binaryen_tableget_set_index(value _exp, value _index) {
+  CAMLparam2(_exp, _index);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef index = BinaryenExpressionRef_val(_index);
+  BinaryenTableGetSetIndex(exp, index);
+  CAMLreturn(Val_unit);
+}
+
+// TableSet operations
+CAMLprim value
+caml_binaryen_tableset_get_table(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  const char* name = BinaryenTableSetGetTable(exp);
+  CAMLreturn(caml_copy_string(name));
+}
+
+CAMLprim value
+caml_binaryen_tableset_set_table(value _exp, value _table) {
+  CAMLparam2(_exp, _table);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  char* table = Safe_String_val(_table);
+  BinaryenTableSetSetTable(exp, table);
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_tableset_get_index(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef index = BinaryenTableSetGetIndex(exp);
+  CAMLreturn(alloc_BinaryenExpressionRef(index));
+}
+
+CAMLprim value
+caml_binaryen_tableset_set_index(value _exp, value _index) {
+  CAMLparam2(_exp, _index);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef index = BinaryenExpressionRef_val(_index);
+  BinaryenTableSetSetIndex(exp, index);
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_tableset_get_value(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef val = BinaryenTableSetGetValue(exp);
+  CAMLreturn(alloc_BinaryenExpressionRef(val));
+}
+
+CAMLprim value
+caml_binaryen_tableset_set_value(value _exp, value _value) {
+  CAMLparam2(_exp, _value);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef val = BinaryenExpressionRef_val(_value);
+  BinaryenTableSetSetValue(exp, val);
+  CAMLreturn(Val_unit);
+}
+
+// TableSize operations
+CAMLprim value
+caml_binaryen_tablesize_get_table(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  const char* name = BinaryenTableSizeGetTable(exp);
+  CAMLreturn(caml_copy_string(name));
+}
+
+CAMLprim value
+caml_binaryen_tablesize_set_table(value _exp, value _table) {
+  CAMLparam2(_exp, _table);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  char* table = Safe_String_val(_table);
+  BinaryenTableSizeSetTable(exp, table);
+  CAMLreturn(Val_unit);
+}
+
+// TableGrow operations
+CAMLprim value
+caml_binaryen_tablegrow_get_table(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  const char* name = BinaryenTableGrowGetTable(exp);
+  CAMLreturn(caml_copy_string(name));
+}
+
+CAMLprim value
+caml_binaryen_tablegrow_set_table(value _exp, value _table) {
+  CAMLparam2(_exp, _table);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  char* table = Safe_String_val(_table);
+  BinaryenTableGrowSetTable(exp, table);
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_tablegrow_get_value(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef val = BinaryenTableGrowGetValue(exp);
+  CAMLreturn(alloc_BinaryenExpressionRef(val));
+}
+
+CAMLprim value
+caml_binaryen_tablegrow_set_value(value _exp, value _value) {
+  CAMLparam2(_exp, _value);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef val = BinaryenExpressionRef_val(_value);
+  BinaryenTableGrowSetValue(exp, val);
+  CAMLreturn(Val_unit);
+}
+
+CAMLprim value
+caml_binaryen_tablegrow_get_delta(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef delta = BinaryenTableGrowGetDelta(exp);
+  CAMLreturn(alloc_BinaryenExpressionRef(delta));
+}
+
+CAMLprim value
+caml_binaryen_tablegrow_set_delta(value _exp, value _delta) {
+  CAMLparam2(_exp, _delta);
+  BinaryenExpressionRef exp = BinaryenExpressionRef_val(_exp);
+  BinaryenExpressionRef delta = BinaryenExpressionRef_val(_delta);
+  BinaryenTableGrowSetDelta(exp, delta);
+  CAMLreturn(Val_unit);
+}

binaryen-archive/src/binaryen_stubs_features.c

@@ -89,6 +89,30 @@ caml_binaryen_feature_multivalue(value unit) {
   CAMLreturn(Val_int(BinaryenFeatureMultivalue()));
 }
 
+CAMLprim value
+caml_binaryen_feature_gc(value unit) {
+  CAMLparam1(unit);
+  CAMLreturn(Val_int(BinaryenFeatureGC()));
+}
+
+CAMLprim value
+caml_binaryen_feature_memory64(value unit) {
+  CAMLparam1(unit);
+  CAMLreturn(Val_int(BinaryenFeatureMemory64()));
+}
+
+CAMLprim value
+caml_binaryen_feature_typed_function_references(value unit) {
+  CAMLparam1(unit);
+  CAMLreturn(Val_int(BinaryenFeatureTypedFunctionReferences()));
+}
+
+CAMLprim value
+caml_binaryen_feature_relaxed_simd(value unit) {
+  CAMLparam1(unit);
+  CAMLreturn(Val_int(BinaryenFeatureRelaxedSIMD()));
+}
+
 CAMLprim value
 caml_binaryen_feature_all(value unit) {
   CAMLparam1(unit);

binaryen-archive/src/element_segment.ml

@@ -1,7 +1,6 @@
 type t
 
 external get_name : t -> string = "caml_binaryen_element_segment_get_name"
-
 external get_table : t -> string = "caml_binaryen_element_segment_get_table"
 
 external get_offset : t -> Expression.t

binaryen-archive/src/export.ml

@@ -28,9 +28,7 @@ external get_export_by_index : Module.t -> int -> t
   = "caml_binaryen_get_export_by_index"
 
 external get_name : t -> string = "caml_binaryen_export_get_name"
-
 external get_value : t -> string = "caml_binaryen_export_get_value"
-
 external external_function : unit -> int = "caml_binaryen_external_function"
 
 let external_function = external_function ()

binaryen-archive/src/expression.ml

@@ -69,7 +69,6 @@ type kind =
   | RefAs
 
 external get_id : t -> int = "caml_binaryen_expression_get_id"
-
 external id_invalid : unit -> int = "caml_binaryen_expression_id_invalid"
 
 let id_invalid = id_invalid ()
@@ -426,7 +425,6 @@ external print : t -> unit = "caml_binaryen_expression_print"
 (** Print an expression to the console. *)
 
 external finalize : t -> unit = "caml_binaryen_expression_finalize"
-
 external copy : t -> Module.t -> t = "caml_binaryen_expression_copy"
 
 (** Expression manipulation *)
@@ -440,11 +438,8 @@ module Block = struct
     make wasm_mod name exprs return_type
 
   external get_name : t -> string option = "caml_binaryen_block_get_name"
-
   external set_name : t -> string -> unit = "caml_binaryen_block_set_name"
-
   external get_num_children : t -> int = "caml_binaryen_block_get_num_children"
-
   external get_child_at : t -> int -> t = "caml_binaryen_block_get_child_at"
 
   external set_child_at : t -> int -> t -> unit
@@ -464,15 +459,10 @@ module If = struct
   (** Module, condition, true branch, false branch. False branch may be null. *)
 
   external get_condition : t -> t = "caml_binaryen_if_get_condition"
-
   external set_condition : t -> t -> unit = "caml_binaryen_if_set_condition"
-
   external get_if_true : t -> t = "caml_binaryen_if_get_if_true"
-
   external set_if_true : t -> t -> unit = "caml_binaryen_if_set_if_true"
-
   external get_if_false : t -> t option = "caml_binaryen_if_get_if_false"
-
   external set_if_false : t -> t -> unit = "caml_binaryen_if_set_if_false"
 end
 
@@ -481,11 +471,8 @@ module Loop = struct
   (** Module, loop name, body. *)
 
   external get_name : t -> string = "caml_binaryen_loop_get_name"
-
   external set_name : t -> string -> unit = "caml_binaryen_loop_set_name"
-
   external get_body : t -> t = "caml_binaryen_loop_get_body"
-
   external set_body : t -> t -> unit = "caml_binaryen_loop_set_body"
 end
 
@@ -494,15 +481,10 @@ module Break = struct
   (** Module, block name, condition, result. Value and condition may be null. *)
 
   external get_name : t -> string = "caml_binaryen_break_get_name"
-
   external set_name : t -> string -> unit = "caml_binaryen_break_set_name"
-
   external get_condition : t -> t option = "caml_binaryen_break_get_condition"
-
   external set_condition : t -> t -> unit = "caml_binaryen_break_set_condition"
-
   external get_value : t -> t option = "caml_binaryen_break_get_value"
-
   external set_value : t -> t -> unit = "caml_binaryen_break_set_value"
 end
 
@@ -512,7 +494,6 @@ module Switch = struct
   (** Module, branch names, default branch name, condition, value. Value may be null. *)
 
   external get_num_names : t -> int = "caml_binaryen_switch_get_num_names"
-
   external get_name_at : t -> int -> string = "caml_binaryen_switch_get_name_at"
 
   external set_name_at : t -> int -> string -> unit
@@ -533,11 +514,8 @@ module Switch = struct
     = "caml_binaryen_switch_set_default_name"
 
   external get_condition : t -> t = "caml_binaryen_switch_get_condition"
-
   external set_condition : t -> t -> unit = "caml_binaryen_switch_set_condition"
-
   external get_value : t -> t option = "caml_binaryen_switch_get_value"
-
   external set_value : t -> t -> unit = "caml_binaryen_switch_set_value"
 end
 
@@ -551,11 +529,8 @@ module Call = struct
   (** Module, function name, params, return type. *)
 
   external get_target : t -> string = "caml_binaryen_call_get_target"
-
   external set_target : t -> string -> unit = "caml_binaryen_call_set_target"
-
   external get_num_operands : t -> int = "caml_binaryen_call_get_num_operands"
-
   external get_operand_at : t -> int -> t = "caml_binaryen_call_get_operand_at"
 
   external set_operand_at : t -> int -> t -> unit
@@ -570,7 +545,6 @@ module Call = struct
     = "caml_binaryen_call_remove_operand_at"
 
   external is_return : t -> bool = "caml_binaryen_call_is_return"
-
   external set_return : t -> bool -> unit = "caml_binaryen_call_set_return"
 end
 
@@ -628,7 +602,6 @@ module Local_set = struct
   (** Module, slot, value. *)
 
   external get_value : t -> t = "caml_binaryen_local_set_get_value"
-
   external set_value : t -> t -> unit = "caml_binaryen_local_set_set_value"
 end
 
@@ -643,7 +616,6 @@ module Global_get = struct
   (** Module, name, type. *)
 
   external get_name : t -> string = "caml_binaryen_global_get_get_name"
-
   external set_name : t -> string -> unit = "caml_binaryen_global_get_set_name"
 end
 
@@ -652,11 +624,8 @@ module Global_set = struct
   (** Module, name, value. *)
 
   external get_name : t -> string = "caml_binaryen_global_set_get_name"
-
   external set_name : t -> string -> unit = "caml_binaryen_global_set_set_name"
-
   external get_value : t -> t = "caml_binaryen_global_set_get_value"
-
   external set_value : t -> t -> unit = "caml_binaryen_global_set_set_value"
 end
 
@@ -669,7 +638,6 @@ module Load = struct
     make wasm_mod bytes signed offset align ty ptr
 
   external get_ptr : t -> t = "caml_binaryen_load_get_ptr"
-
   external set_ptr : t -> t -> unit = "caml_binaryen_load_set_ptr"
 end
 
@@ -679,11 +647,8 @@ module Store = struct
   (** Module, num_bytes, offset, align, ptr, value, type. *)
 
   external get_ptr : t -> t = "caml_binaryen_store_get_ptr"
-
   external set_ptr : t -> t -> unit = "caml_binaryen_store_set_ptr"
-
   external get_value : t -> t = "caml_binaryen_store_get_value"
-
   external set_value : t -> t -> unit = "caml_binaryen_store_set_value"
 end
 
@@ -693,21 +658,15 @@ end
 
 module Unary = struct
   external make : Module.t -> Op.t -> t -> t = "caml_binaryen_unary"
-
   external get_value : t -> t = "caml_binaryen_unary_get_value"
-
   external set_value : t -> t -> unit = "caml_binaryen_unary_set_value"
 end
 
 module Binary = struct
   external make : Module.t -> Op.t -> t -> t -> t = "caml_binaryen_binary"
-
   external get_left : t -> t = "caml_binaryen_binary_get_left"
-
   external set_left : t -> t -> unit = "caml_binaryen_binary_set_left"
-
   external get_right : t -> t = "caml_binaryen_binary_get_right"
-
   external set_right : t -> t -> unit = "caml_binaryen_binary_set_right"
 end
 
@@ -719,31 +678,22 @@ module Select = struct
   let make wasm_mod cond tru fals = make wasm_mod cond tru fals Type.auto
 
   external get_if_true : t -> t = "caml_binaryen_select_get_if_true"
-
   external set_if_true : t -> t -> unit = "caml_binaryen_select_set_if_true"
-
   external get_if_false : t -> t = "caml_binaryen_select_get_if_false"
-
   external set_if_false : t -> t -> unit = "caml_binaryen_select_set_if_false"
-
   external get_condition : t -> t = "caml_binaryen_select_get_condition"
-
   external set_condition : t -> t -> unit = "caml_binaryen_select_set_condition"
 end
 
 module Drop = struct
   external make : Module.t -> t -> t = "caml_binaryen_drop"
-
   external get_value : t -> t = "caml_binaryen_drop_get_value"
-
   external set_value : t -> t -> unit = "caml_binaryen_drop_set_value"
 end
 
 module Return = struct
   external make : Module.t -> t -> t = "caml_binaryen_return"
-
   external get_value : t -> t = "caml_binaryen_return_get_value"
-
   external set_value : t -> t -> unit = "caml_binaryen_return_set_value"
 end
 
@@ -753,9 +703,7 @@ end
 
 module Memory_grow = struct
   external make : Module.t -> t -> t = "caml_binaryen_memory_grow"
-
   external get_delta : t -> t = "caml_binaryen_memory_grow_get_delta"
-
   external set_delta : t -> t -> unit = "caml_binaryen_memory_grow_set_delta"
 end
 
@@ -764,15 +712,10 @@ module Memory_copy = struct
   (** Module, destination, source, size. *)
 
   external get_dest : t -> t = "caml_binaryen_memory_copy_get_dest"
-
   external set_dest : t -> t -> unit = "caml_binaryen_memory_copy_set_dest"
-
   external get_source : t -> t = "caml_binaryen_memory_copy_get_source"
-
   external set_source : t -> t -> unit = "caml_binaryen_memory_copy_set_source"
-
   external get_size : t -> t = "caml_binaryen_memory_copy_get_size"
-
   external set_size : t -> t -> unit = "caml_binaryen_memory_copy_set_size"
 end
 
@@ -781,15 +724,10 @@ module Memory_fill = struct
   (** Module, destination, value, size. *)
 
   external get_dest : t -> t = "caml_binaryen_memory_fill_get_dest"
-
   external set_dest : t -> t -> unit = "caml_binaryen_memory_fill_set_dest"
-
   external get_value : t -> t = "caml_binaryen_memory_fill_get_value"
-
   external set_value : t -> t -> unit = "caml_binaryen_memory_fill_set_value"
-
   external get_size : t -> t = "caml_binaryen_memory_fill_get_size"
-
   external set_size : t -> t -> unit = "caml_binaryen_memory_fill_set_size"
 end
 
@@ -821,7 +759,6 @@ module Tuple_extract = struct
   (** Module, tuple, index *)
 
   external get_tuple : t -> t = "caml_binaryen_tuple_extract_get_tuple"
-
   external set_tuple : t -> t -> unit = "caml_binaryen_tuple_extract_set_tuple"
 end
 
@@ -842,3 +779,97 @@ module Null = struct
   external make : unit -> t = "caml_binaryen_null_expression"
   (** A null reference. *)
 end
+
+module Ref = struct
+  external null : Module.t -> Type.t -> t = "caml_binaryen_ref_null"
+  (** Module, type *)
+
+  external is : Module.t -> Op.t -> t -> t = "caml_binaryen_ref_is"
+  (** Module, op, value *)
+
+  external as_ : Module.t -> Op.t -> t -> t = "caml_binaryen_ref_as"
+  (** Module, op, value *)
+
+  external func : Module.t -> string -> Type.t -> t = "caml_binaryen_ref_func"
+  (** Module, func, type *)
+
+  external eq : Module.t -> t -> t -> t = "caml_binaryen_ref_eq"
+  (** Module, left, right *)
+end
+
+module Table = struct
+  external get : Module.t -> string -> t -> Type.t -> t
+    = "caml_binaryen_table_get"
+  (** Module, name, index, type *)
+
+  external set : Module.t -> string -> t -> t -> t = "caml_binaryen_table_set"
+  (** Module, name, index, value *)
+
+  external size : Module.t -> string -> t = "caml_binaryen_table_size"
+  (** Module, name *)
+
+  external grow : Module.t -> string -> t -> t -> t = "caml_binaryen_table_grow"
+  (** Module, name, value, delta *)
+end
+
+module Table_get = struct
+  external get_table : t -> string = "caml_binaryen_tableget_get_table"
+  (** Gets the name of the table being accessed by a `Table.get` expression. *)
+
+  external set_table : t -> string -> unit = "caml_binaryen_tableget_set_table"
+  (** Gets the name of the table being accessed by a `Table.get` expression. *)
+
+  external get_index : t -> t = "caml_binaryen_tableget_get_index"
+  (** Gets the index expression of a `Table.get` expression. *)
+
+  external set_index : t -> t -> unit = "caml_binaryen_tableget_set_index"
+  (** Gets the index expression of a `Table.get` expression. *)
+end
+
+module Table_set = struct
+  external get_table : t -> string = "caml_binaryen_tableset_get_table"
+  (** Gets the name of the table being accessed by a `Table.set` expression. *)
+
+  external set_table : t -> string -> unit = "caml_binaryen_tableset_set_table"
+  (** Sets the name of the table being accessed by a `Table.set` expression. *)
+
+  external get_index : t -> t = "caml_binaryen_tableset_get_index"
+  (** Gets the index expression of a `Table.set` expression. *)
+
+  external set_index : t -> t -> unit = "caml_binaryen_tableset_set_index"
+  (** Sets the index expression of a `Table.set` expression. *)
+
+  external get_value : t -> t = "caml_binaryen_tableset_get_value"
+  (** Gets the value expression of a `Table.set` expression. *)
+
+  external set_value : t -> t -> unit = "caml_binaryen_tableset_set_value"
+  (** Sets the value expression of a `Table.set` expression. *)
+end
+
+module Table_size = struct
+  external get_table : t -> string = "caml_binaryen_tablesize_get_table"
+  (** Gets the name of the table being accessed by a `Table.size` expression. *)
+
+  external set_table : t -> string -> unit = "caml_binaryen_tablesize_set_table"
+  (** Sets the name of the table being accessed by a `Table.size` expression. *)
+end
+
+module Table_grow = struct
+  external get_table : t -> string = "caml_binaryen_tablegrow_get_table"
+  (** Gets the name of the table being accessed by a `Table.grow` expression. *)
+
+  external set_table : t -> string -> unit = "caml_binaryen_tablegrow_set_table"
+  (** Gets the name of the table being accessed by a `Table.grow` expression. *)
+
+  external get_value : t -> t = "caml_binaryen_tablegrow_get_value"
+  (** Gets the value expression of a `Table.grow` expression. *)
+
+  external set_value : t -> t -> unit = "caml_binaryen_tablegrow_set_value"
+  (** Sets the value expression of a `Table.grow` expression. *)
+
+  external get_delta : t -> t = "caml_binaryen_tablegrow_get_delta"
+  (** Gets the delta of a `Table.grow` expression. *)
+
+  external set_delta : t -> t -> unit = "caml_binaryen_tablegrow_set_delta"
+  (** Sets the delta of a `Table.grow` expression. *)
+end

binaryen-archive/src/function.ml

@@ -19,17 +19,11 @@ external remove_function : Module.t -> string -> unit
   = "caml_binaryen_remove_function"
 
 external get_num_functions : Module.t -> int = "caml_binaryen_get_num_functions"
-
 external get_name : t -> string = "caml_binaryen_function_get_name"
-
 external get_params : t -> Type.t = "caml_binaryen_function_get_params"
-
 external get_results : t -> Type.t = "caml_binaryen_function_get_results"
-
 external get_num_vars : t -> int = "caml_binaryen_function_get_num_vars"
-
 external get_var : t -> int -> Type.t = "caml_binaryen_function_get_var"
-
 external get_body : t -> Expression.t = "caml_binaryen_function_get_body"
 
 external set_body : t -> Expression.t -> unit

binaryen-archive/src/global.ml

@@ -15,9 +15,7 @@ external get_global_by_index : Module.t -> int -> t
   = "caml_binaryen_get_global_by_index"
 
 external get_name : t -> string = "caml_binaryen_global_get_name"
-
 external get_type : t -> Type.t = "caml_binaryen_global_get_type"
-
 external is_mutable : t -> bool = "caml_binaryen_global_is_mutable"
 
 external get_init_expr : t -> Expression.t