Module Crossing.Axis
type 'a t = | Monadic : 'a Mode.Value.Monadic.Axis.t -> 'a Mode.Crossing.Monadic.Atom.t Mode.Crossing.Axis.t| Comonadic : 'a Mode.Value.Comonadic.Axis.t -> 'a Mode.Crossing.Comonadic.Atom.t Mode.Crossing.Axis.t
'a t specifies an axis whose mode crossing capability is represented as 'a
val of_modality : Mode.Modality.Axis.packed -> Mode.Crossing.Axis.packedval to_modality : Mode.Crossing.Axis.packed -> Mode.Modality.Axis.packed