jon.recoil.org

Module Alloc.ConstSource

include Mode_intf.Const with type t = (Locality.Const.t, Linearity.Const.t, Uniqueness.Const.t, Portability.Const.t, Contention.Const.t, Forkable.Const.t, Yielding.Const.t, Statefulness.Const.t, Visibility.Const.t, Staticity.Const.t) modes
include Mode_intf.Lattice with type t = (Locality.Const.t, Linearity.Const.t, Uniqueness.Const.t, Portability.Const.t, Contention.Const.t, Forkable.Const.t, Yielding.Const.t, Statefulness.Const.t, Visibility.Const.t, Staticity.Const.t) modes
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
Sourcemodule Option : sig ... end
Sourceval is_max : 'a Axis.t -> 'a -> bool
Sourceval is_min : 'a Axis.t -> 'a -> bool
Sourceval diff : t -> t -> Option.t

diff a b returns None for axes where a and b match, and Some a0 for axes where a is a0 and b isn't.

Sourceval close_over : t -> Comonadic.Const.t

Similar to Alloc.close_over but for constants

Sourceval partial_apply : t -> Comonadic.Const.t

Similar to Alloc.partial_apply but for constants

Sourceval comonadic_to_monadic_min : Comonadic.Const.t -> Monadic.Const.t

Similar to comonadic_to_monadic_min but for constants

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

Prints a constant on any axis.