jon.recoil.org

Module Flambda_primitive.Duplicate_block_kind

type t =
  1. | Values of {
    1. tag : Flambda2_kinds.Tag.Scannable.t;
    2. length : Flambda2_numbers.Target_ocaml_int.t;
    }
  2. | Naked_floats of {
    1. length : Flambda2_numbers.Target_ocaml_int.t;
    }
  3. | Mixed
    (*

    We could store tag/length (or other relevant fields) on Mixed, but we don't because the fields of t are currently only used for printing.

    *)