Module `Modality.Axis`

type 'a t =

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

type packed =

| P : 'a t -> packed

val of_value : Value.Axis.packed -> packed

val to_value : packed -> Value.Axis.packed