Module `Monadic.Axis`

type 'a t = (Ocaml_typing.Mode.monadic, 'a) Ocaml_typing.Mode.Axis.t

An axis with carrier type 'a

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

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

List of all axes, ordered by compare.

Module Monadic.Axis