Module Modality.Axis

type 'a t =
  1. | Monadic : 'a Value.Monadic.Axis.t -> 'a Monadic.Atom.t t
  2. | Comonadic : 'a Value.Comonadic.Axis.t -> 'a Comonadic.Atom.t t
type packed =
  1. | P : 'a t -> packed
val of_value : Value.Axis.packed -> packed
val to_value : packed -> Value.Axis.packed