Module `Rewriter.Expr`

type 'a t = 'a Flambda2_types.Rewriter.expr

module Function_type : sig ... end

val var : 'a -> 'a Flambda2_types.Rewriter.Expr.t

val unknown : 
  Flambda2_kinds.Flambda_kind.t ->
  'a Flambda2_types.Rewriter.Expr.t

val bottom : Flambda2_kinds.Flambda_kind.t -> 'a Flambda2_types.Rewriter.Expr.t

val tag_immediate : 
  'a Flambda2_types.Rewriter.Expr.t ->
  'a Flambda2_types.Rewriter.Expr.t

val 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.t

val 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.t

val 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

Module Rewriter.Expr

Module `Rewriter.Expr`