jon.recoil.org

Module Comonadic.ConstSource

include Mode_intf.Const with type t = Locality.Const.t comonadic_with
include Mode_intf.Lattice with type t = Locality.Const.t comonadic_with
Sourceval min : t
Sourceval max : t
Sourceval le : t -> t -> bool
Sourceval equal : t -> t -> bool

equal a b is equivalent to le a b && le b a, but defined separately for performance reasons

Sourceval join : t -> t -> t
Sourceval meet : t -> t -> t
Sourceval legacy : t
Sourceval min_with : 'a Axis.t -> 'a -> t

min_with ax elt returns min but with the axis ax set to elt.

Sourceval max_with : 'a Axis.t -> 'a -> t

max_with ax elt returns max but with the axis ax set to elt.

Sourcemodule Per_axis : Solver_intf.Lattices with type 'a obj := 'a Axis.t and type 'a elt := 'a

For interfacing with the user only; potentially slow.