Module `Alloc_mode.For_assignments`

type t = private

Decisions on assignment locations

val print : 
  Stdlib.Format.formatter ->
  Flambda2_term_basics.Alloc_mode.For_assignments.t ->
  unit

val compare : 
  Flambda2_term_basics.Alloc_mode.For_assignments.t ->
  Flambda2_term_basics.Alloc_mode.For_assignments.t ->
  int

val heap : Flambda2_term_basics.Alloc_mode.For_assignments.t

val local : unit -> Flambda2_term_basics.Alloc_mode.For_assignments.t

val from_lambda : 
  Lambda.modify_mode ->
  Flambda2_term_basics.Alloc_mode.For_assignments.t

val to_lambda : 
  Flambda2_term_basics.Alloc_mode.For_assignments.t ->
  Lambda.modify_mode

Module Alloc_mode.For_assignments