jon.recoil.org

Module Crossing.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

'a t specifies an axis whose mode crossing capability is represented as 'a

type packed =
  1. | P : 'a t -> packed
val of_modality : Modality.Axis.packed -> packed
val to_modality : packed -> Modality.Axis.packed