jon.recoil.org

Module Alloc_mode.For_assignments

type t = private
  1. | Heap
  2. | Local

Decisions on assignment locations

val print : Format.formatter -> t -> unit
val compare : t -> t -> int
val heap : t
val local : unit -> t
val from_lambda : Lambda.modify_mode -> t
val to_lambda : t -> Lambda.modify_mode