jon.recoil.org

Module Modes.PortendedSource

Sourcetype ('a : value_or_null) t = {
  1. portended : 'a;
}

Wraps values in the portable contended mode, even in a nonportable uncontended context. A 'a Portended.t is equivalent to a 'a Portable.t Contended.t and a 'a Contended.t Portable.t, but much more ergonomic to work with.