Module `Comonadic.Axis`

type 'a t = (Mode.Regionality.Const.t Mode.comonadic_with, 'a) Mode.Axis.t

An axis with carrier type 'a

val compare : 
  'a Mode.Value.Comonadic.Axis.t ->
  'b Mode.Value.Comonadic.Axis.t ->
  int

Compare two axes in implication order. If A implies B, then A is before B.

type packed =

val print : Stdlib.Format.formatter -> 'a Mode.Value.Comonadic.Axis.t -> unit

val all : Mode.Value.Comonadic.Axis.packed list

List of all axes, ordered by compare.

Module Comonadic.Axis