Module Flambda2_reaper.Field
type view = private | Block of int * Flambda2_kinds.Flambda_kind.t| Value_slot of Flambda2_identifiers.Value_slot.t| Function_slot of Flambda2_identifiers.Function_slot.t| Code_of_closure of Flambda2_reaper.Field.closure_entry_point| Is_int| Get_tag| Apply of Flambda2_reaper.Field.return_kind| Code_id_of_call_witness
val view : Flambda2_reaper.Field.t -> Flambda2_reaper.Field.viewval block : int -> Flambda2_kinds.Flambda_kind.t -> Flambda2_reaper.Field.tval value_slot : Flambda2_identifiers.Value_slot.t -> Flambda2_reaper.Field.tval function_slot :
Flambda2_identifiers.Function_slot.t ->
Flambda2_reaper.Field.tval code_of_closure :
Flambda2_reaper.Field.closure_entry_point ->
Flambda2_reaper.Field.tval is_int : Flambda2_reaper.Field.tval get_tag : Flambda2_reaper.Field.tval apply : Flambda2_reaper.Field.return_kind -> Flambda2_reaper.Field.tval code_id_of_call_witness : Flambda2_reaper.Field.tinclude Flambda2_datalog.Datalog.Column.S
with type t := Flambda2_reaper.Field.t
val print : Stdlib.Format.formatter -> Flambda2_reaper.Field.t -> unitmodule Set :
Flambda2_algorithms.Container_types.Set
with type elt = Flambda2_reaper.Field.tmodule Map :
Flambda2_algorithms.Container_types.Map_plus_iterator
with type key = Flambda2_reaper.Field.t
with module Set = Flambda2_reaper.Field.Setval datalog_column_id :
('a Flambda2_reaper.Field.Map.t, Flambda2_reaper.Field.t, 'a)
Flambda2_datalog.Datalog.Column.idval kind : Flambda2_reaper.Field.t -> Flambda2_kinds.Flambda_kind.tval is_value_slot : Flambda2_reaper.Field.t -> boolval is_function_slot : Flambda2_reaper.Field.t -> boolval must_be_function_slot :
Flambda2_reaper.Field.t ->
Flambda2_identifiers.Function_slot.tval is_local : Flambda2_reaper.Field.t -> bool