Module `Modality.Axis`

type 'a t =

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

type packed =

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

val of_value : 
  Ocaml_typing.Mode.Value.Axis.packed ->
  Ocaml_typing.Mode.Modality.Axis.packed

val to_value : 
  Ocaml_typing.Mode.Modality.Axis.packed ->
  Ocaml_typing.Mode.Value.Axis.packed