Module Comonadic.Atom

type 'a t =
  1. | Modality of 'a Modality.Comonadic.Atom.t
    (*

    See comment on the similar constructor in Monadic.Atom.t

    *)

The mode crossing capability on a comonadic axis whose carrier type is 'a. Currently it has only one constructor and is thus unboxed.