Module `Crossing.Axis`

type 'a t =

| Monadic : 'a Ocaml_typing.Mode.Value.Monadic.Axis.t -> 'a Ocaml_typing.Mode.Crossing.Monadic.Atom.t Ocaml_typing.Mode.Crossing.Axis.t
| Comonadic : 'a Ocaml_typing.Mode.Value.Comonadic.Axis.t -> 'a Ocaml_typing.Mode.Crossing.Comonadic.Atom.t Ocaml_typing.Mode.Crossing.Axis.t

'a t specifies an axis whose mode crossing capability is represented as 'a

type packed =

| P : 'a Ocaml_typing.Mode.Crossing.Axis.t -> Ocaml_typing.Mode.Crossing.Axis.packed

val of_modality : 
  Ocaml_typing.Mode.Modality.Axis.packed ->
  Ocaml_typing.Mode.Crossing.Axis.packed

val to_modality : 
  Ocaml_typing.Mode.Crossing.Axis.packed ->
  Ocaml_typing.Mode.Modality.Axis.packed