Module Ricsv.Analysis

Copyright 2025-2026, Victoria Ostrovskaya & Danil Usoltsev

SPDX-License-Identifier: LGPL-3.0-or-later

type function_layout = {
  1. func_name : string;
  2. asm_name : string;
  3. params : Middleend.Anf.immediate list;
  4. body : Middleend.Anf.anf_expr;
  5. is_rec : bool;
  6. slots_count : int;
  7. max_stack_args : int;
  8. max_create_tuple_array_bytes : int;
}
type analysis_result = {
  1. arity_map : (string, int, Base.String.comparator_witness) Base.Map.t;
  2. functions : function_layout list;
  3. resolve : int -> string -> (string * int) option;
}