Mode.Axistype ('p, 'r) t = | Areality : ('a comonadic_with, 'a) t| Forkable : ('areality comonadic_with, Forkable.Const.t) t| Yielding : ('areality comonadic_with, Yielding.Const.t) t| Linearity : ('areality comonadic_with, Linearity.Const.t) t| Statefulness : ('areality comonadic_with, Statefulness.Const.t) t| Portability : ('areality comonadic_with, Portability.Const.t) t| Uniqueness : (monadic, Uniqueness.Const.t) t| Visibility : (monadic, Visibility.Const.t) t| Contention : (monadic, Contention.Const.t) t| Staticity : (monadic, Staticity.Const.t) t('p, 'r) t represents a projection from a product of type 'p to an element of type 'r.
NB: must listed in the order of axis implication. See typemode.ml.
val print : Format.formatter -> ('p, 'r) t -> unitval eq :
('p, 'r0) t ->
('p, 'r1) t ->
('r0, 'r1) Ocaml_utils.Misc_stdlib.eq option