jon.recoil.org

Module Alloc.Axis

type 'a t =
  1. | Monadic : 'a Mode.Alloc.Monadic.Axis.t -> 'a Mode.Alloc.Axis.t
  2. | Comonadic : 'a Mode.Alloc.Comonadic.Axis.t -> 'a Mode.Alloc.Axis.t

Represents a mode axis in this product whose constant is 'a, and whose allowance is 'd1 given the product's allowance 'd0.

include Mode_intf.Axis with type 'a t := 'a Mode.Alloc.Axis.t
val compare : 'a Mode.Alloc.Axis.t -> 'b Mode.Alloc.Axis.t -> int

Compare two axes in implication order. If A implies B, then A is before B.

type packed =
  1. | P : 'a Mode.Alloc.Axis.t -> Mode.Alloc.Axis.packed
val print : Stdlib.Format.formatter -> 'a Mode.Alloc.Axis.t -> unit
val all : Mode.Alloc.Axis.packed list

List of all axes, ordered by compare.