Module `Value.Axis`

type 'a t =

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

include Ocaml_typing.Mode_intf.Axis
  with type 'a t := 'a Ocaml_typing.Mode.Value.Axis.t

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

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

List of all axes, ordered by compare.

Module Value.Axis