Ast_utils (p.wax-lib.0.3.0.doc.wax-lib.wasm.Wax_wasm.Ast

Source

val fold_instr : 
  ('a -> 'info Ast.Text.instr -> 'a) ->
  'a ->
  'info Ast.Text.instr ->
  'a

fold_instr f acc i folds f over i and every instruction nested within it (blocks, if/try arms, folded operands, branch hints, …), pre-order: i itself first, then its children.

Sourceval iter_instr : ('info Ast.Text.instr -> unit) -> 'info Ast.Text.instr -> unit

iter_instr f i applies f to i and, recursively, to every instruction nested within it.

Source

val expand_import_group : 
  ('info Ast.Text.modulefield, Ast.location) Ast.annotated ->
  ('info Ast.Text.modulefield, Ast.location) Ast.annotated list

Expand a compact Import_group1/Import_group2 field into the individual Import fields it denotes (each carrying the group's location); any other field is returned unchanged as a singleton.

Source

val flatten_binary_imports : 
  Ast.Binary.import_entry list ->
  Ast.Binary.import list

Flatten binary import-section entries into the individual imports they denote (a compact group expands to one import per item).

Source

val expand_type_aliases : 
  unbound:(Ast.Text.name -> Ast.Text.valtype) ->
  ('info Ast.Text.modulefield, Ast.location) Ast.annotated list ->
  ('info Ast.Text.modulefield, Ast.location) Ast.annotated list

Replace every value-type alias use in the fields (in type definitions, signatures, locals, globals, block and select types, nested instructions and conditional branches) by the value type it stands for, following chains of aliases, and drop the alias definitions, giving the fields their core form. Only the top-level alias definitions are read. A use that cannot be expanded (unbound, cyclic, or defined only under a conditional annotation) is replaced by unbound applied to the alias name.