type t
Identifiers for transient modifications. A transient modification
is uniquely identified by a Transient.t
. Once Transient.freeze r
is called, r
cannot be used to modify the structure again.
val frozen : t ‑> bool
frozen i
returns true
if freeze i
was called before. In this case,
the ID cannot be used for modifications again.
val freeze : t ‑> unit
freeze i
makes i
unusable for new modifications. The values
created with i
will now be immutable.
val with_ : (t ‑> 'a) ‑> 'a
with_ f
creates a transient ID i
, calls f i
,
freezes the ID i
and returns the result of f i
.