util.mli 374 B

12345678910
  1. (* Generate a fresh variable from a given prefix, e.g. "counter" -> "counter$1" *)
  2. val fresh_var : string -> string
  3. (* Default transformation traversal for AST nodes *)
  4. val transform_children : (Ast.node -> Ast.node) -> Ast.node -> Ast.node
  5. (*val visit_children : (Ast.node -> unit) -> Ast.node -> unit*)
  6. (* Extract location from node *)
  7. val locof : Ast.node -> Ast.loc