Module `Comonadic.Axis`

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

An axis with carrier type 'a

val compare : 
  'a Ocaml_typing.Mode.Value.Comonadic.Axis.t ->
  'b Ocaml_typing.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 Ocaml_typing.Mode.Value.Comonadic.Axis.t ->
  unit

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

List of all axes, ordered by compare.

Module Comonadic.Axis