Module `Monadic.Atom`Source

Sourcetype 'a t =

| Modality of 'a Modality.Monadic.Atom.t
(*
The mode crossing caused by a modality atom on an axis whose carrier type is 'a. For a concrete example, consider:
```
  type 'x r = { x : 'x @@ portable } [@@unboxed]
```
The type 'x r can cross the portability axis. This is represented as Modality (Meet_const Portable) : Portability.Const.t t.
*)

The mode crossing capability on a monadic axis whose carrier type is 'a. Currently it has only one constructor and is thus unboxed.