jon.recoil.org

Module type Mode_intf.Axis

type 'a t

An axis with carrier type '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 =
  1. | P : 'a t -> packed
val print : Stdlib.Format.formatter -> 'a t -> unit
val all : packed list

List of all axes, ordered by compare.