Module Typedtree.Unique_barrier
A unique barrier annotates field accesses (eg. Texp_field and patterns) with the uniqueness mode of the allocation that is projected out of. Projections out of unique allocations may not be pushed down in later stages of the compiler, because the unique allocation may be overwritten.
val not_computed : unit -> Typedtree.Unique_barrier.tval enable : Typedtree.Unique_barrier.t -> unitval add_upper_bound : Mode.Uniqueness.r -> Typedtree.Unique_barrier.t -> unitval resolve : Typedtree.Unique_barrier.t -> Mode.Uniqueness.Const.tval print : Stdlib.Format.formatter -> Typedtree.Unique_barrier.t -> unit