jon.recoil.org

Module Flambda2_terms.Mutability

type t =
  1. | Mutable
  2. | Immutable
  3. | Immutable_unique
    (*

    Mutable means that contents may vary at any moment.

    Immutable means that not only contents will never vary, but we're also allowed to share or duplicate identical values at will.

    Immutable_unique means that the contents will never vary, but physical equality is meaningful so the value must not be duplicated, nor shared.

    *)
val is_mutable : Flambda2_terms.Mutability.t -> bool