jon.recoil.org

Module Crossing.AxisSource

Sourcetype '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

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