Module Runtime.Primitives

Copyright 2025-2026, Victoria Ostrovskaya & Danil Usoltsev

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

type llvm_arg =
  1. | Ptr
  2. | Int
  3. | I32
type llvm_ret =
  1. | RPtr
  2. | RInt
  3. | RVoid
type runtime_func_sig = {
  1. name : string;
  2. ret : llvm_ret;
  3. args : llvm_arg list;
}
val predefined_runtime_funcs : runtime_func_sig list
val runtime_primitive_arities : (string * int) list
val is_reserved : string -> bool