Module `Modality.Axis`Source

Sourcetype 'a t =

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

Sourcetype packed =

| P : 'a t -> packed

Sourceval of_value : Value.Axis.packed -> packed

Sourceval to_value : packed -> Value.Axis.packed