Module `Flambda2_terms.Placement`

type t =

| Delay
(*
The expression should be placed as late as possible, even if it is duplicated
*)
| Strict
(*
The expression must not be moved around (it has non-generative effects, or coeffects, or doesn't benefit from being bound later).
*)

Whether an expression can be moved around, including whether it can be duplicated

val print : Stdlib.Format.formatter -> Flambda2_terms.Placement.t -> unit

Print function.

val compare : Flambda2_terms.Placement.t -> Flambda2_terms.Placement.t -> int

Comparison function.

val join : 
  Flambda2_terms.Placement.t ->
  Flambda2_terms.Placement.t ->
  Flambda2_terms.Placement.t

Join

Module Flambda2_terms.Placement