Module S.Axis
type ('p, 'r) t = | Areality : ('a comonadic_with, 'a) Axis.t| Forkable : ('areality comonadic_with, Forkable.Const.t) Axis.t| Yielding : ('areality comonadic_with, Yielding.Const.t) Axis.t| Linearity : ('areality comonadic_with, Linearity.Const.t) Axis.t| Statefulness : ('areality comonadic_with, Statefulness.Const.t) Axis.t| Portability : ('areality comonadic_with, Portability.Const.t) Axis.t| Uniqueness : (monadic, Uniqueness.Const.t) Axis.t| Visibility : (monadic, Visibility.Const.t) Axis.t| Contention : (monadic, Contention.Const.t) Axis.t| Staticity : (monadic, Staticity.Const.t) Axis.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 : Stdlib.Format.formatter -> ('p, 'r) Axis.t -> unit