Module Rewriter.Expr
type 'a t = 'a Flambda2_types.Rewriter.exprmodule Function_type : sig ... endval var : 'a -> 'a Flambda2_types.Rewriter.Expr.tval unknown :
Flambda2_kinds.Flambda_kind.t ->
'a Flambda2_types.Rewriter.Expr.tval bottom : Flambda2_kinds.Flambda_kind.t -> 'a Flambda2_types.Rewriter.Expr.tval tag_immediate :
'a Flambda2_types.Rewriter.Expr.t ->
'a Flambda2_types.Rewriter.Expr.tval immutable_block :
is_unique:bool ->
Flambda2_kinds.Tag.t ->
shape:Flambda2_kinds.Flambda_kind.Block_shape.t ->
Flambda2_term_basics.Alloc_mode.For_types.t ->
fields:'a Flambda2_types.Rewriter.Expr.t list ->
'a Flambda2_types.Rewriter.Expr.tval exactly_this_closure :
Flambda2_identifiers.Function_slot.t ->
all_function_slots_in_set:
'a Flambda2_types.Rewriter.Expr.t
Flambda2_types.Rewriter.Expr.Function_type.t
Flambda2_lattices.Or_unknown.t
Flambda2_identifiers.Function_slot.Map.t ->
all_closure_types_in_set:
'a Flambda2_types.Rewriter.Expr.t Flambda2_identifiers.Function_slot.Map.t ->
all_value_slots_in_set:
'a Flambda2_types.Rewriter.Expr.t Flambda2_identifiers.Value_slot.Map.t ->
Flambda2_term_basics.Alloc_mode.For_types.t ->
'a Flambda2_types.Rewriter.Expr.tval at_least_this_closure :
Flambda2_identifiers.Function_slot.t ->
at_least_these_function_slots:
'a Flambda2_types.Rewriter.Expr.t
Flambda2_types.Rewriter.Expr.Function_type.t
Flambda2_lattices.Or_unknown.t
Flambda2_identifiers.Function_slot.Map.t ->
at_least_these_closure_types:
'a Flambda2_types.Rewriter.Expr.t Flambda2_identifiers.Function_slot.Map.t ->
at_least_these_value_slots:
'a Flambda2_types.Rewriter.Expr.t Flambda2_identifiers.Value_slot.Map.t ->
Flambda2_term_basics.Alloc_mode.For_types.t ->
'a Flambda2_types.Rewriter.Expr.t