Monadic.Atomtype 'a t = | Modality of 'a Modality.Monadic.Atom.tThe 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_with 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.