Module `Mode.Axis`

type ('p, 'r) t =

| Areality : ('a Ocaml_typing.Mode.comonadic_with, 'a) Ocaml_typing.Mode.Axis.t
| Forkable : ('areality Ocaml_typing.Mode.comonadic_with, Ocaml_typing.Mode.Forkable.Const.t) Ocaml_typing.Mode.Axis.t
| Yielding : ('areality Ocaml_typing.Mode.comonadic_with, Ocaml_typing.Mode.Yielding.Const.t) Ocaml_typing.Mode.Axis.t
| Linearity : ('areality Ocaml_typing.Mode.comonadic_with, Ocaml_typing.Mode.Linearity.Const.t) Ocaml_typing.Mode.Axis.t
| Statefulness : ('areality Ocaml_typing.Mode.comonadic_with, Ocaml_typing.Mode.Statefulness.Const.t) Ocaml_typing.Mode.Axis.t
| Portability : ('areality Ocaml_typing.Mode.comonadic_with, Ocaml_typing.Mode.Portability.Const.t) Ocaml_typing.Mode.Axis.t
| Uniqueness : (Ocaml_typing.Mode.monadic, Ocaml_typing.Mode.Uniqueness.Const.t) Ocaml_typing.Mode.Axis.t
| Visibility : (Ocaml_typing.Mode.monadic, Ocaml_typing.Mode.Visibility.Const.t) Ocaml_typing.Mode.Axis.t
| Contention : (Ocaml_typing.Mode.monadic, Ocaml_typing.Mode.Contention.Const.t) Ocaml_typing.Mode.Axis.t
| Staticity : (Ocaml_typing.Mode.monadic, Ocaml_typing.Mode.Staticity.Const.t) Ocaml_typing.Mode.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) Ocaml_typing.Mode.Axis.t ->
  unit

val eq : 
  ('p, 'r0) Ocaml_typing.Mode.Axis.t ->
  ('p, 'r1) Ocaml_typing.Mode.Axis.t ->
  ('r0, 'r1) Ocaml_utils.Misc_stdlib.eq option