Module `Modality.Axis`

type 'a t =

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

type packed =

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

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

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