jon.recoil.org

Module Call_kind.Function_call

type t = private
  1. | Direct of Flambda2_identifiers.Code_id.t
    (*

    The code_id uniquely determines the function symbol that must be called.

    *)
  2. | Indirect_unknown_arity
  3. | Indirect_known_arity of Flambda2_identifiers.Code_id.Set.t Flambda2_lattices.Or_unknown.t
    (*

    If a Code_id.Set.t is provided, only the provided functions (or a simplified version thereof) can be called, but we don't statically know which.

    *)