Module `Comonadic.Axis`Source

Sourcetype 'a t = (Locality.Const.t comonadic_with, 'a) Axis.t

An axis with carrier type 'a

Sourceval compare : 'a t -> 'b t -> int

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

Sourcetype packed =

Sourceval print : Ocaml_typing.Mode_intf.Fmt.formatter -> 'a t -> unit

Sourceval all : packed list

List of all axes, ordered by compare.

Module Comonadic.AxisSource