Module `Monadic.Axis`

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

An axis with carrier type 'a

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

val all : Mode.Alloc.Monadic.Axis.packed list

List of all axes, ordered by compare.

Module Monadic.Axis