Monadic.Axis
type 'a t = (monadic, 'a) Axis.t
An axis with carrier type 'a
'a
val compare : 'a t -> 'b t -> int
Compare two axes in implication order. If A implies B, then A is before B.
type packed =
| P : 'a t -> packed
val print : Ocaml_typing.Mode_intf.Fmt.formatter -> 'a t -> unit
val all : packed list
List of all axes, ordered by compare.
compare