jon.recoil.org

Module Ocaml_typing.Axis_latticeSource

Sourcetype t = private int
Sourceval bot : t

Lattice operations expected by the solver.

Sourceval top : t
Sourceval join : t -> t -> t
Sourceval meet : t -> t -> t
Sourceval leq : t -> t -> bool
Sourceval co_sub : t -> t -> t
Sourceval equal : t -> t -> bool
Sourceval hash : t -> int
Sourceval to_string : t -> string
Sourceval non_bot_axes : t -> int list
Sourceval of_axis_set : Jkind_axis.Axis_set.t -> t

Build a mask from a set of relevant axes.

Sourceval mask_of_modality : Mode.Modality.Const.t -> t

Relevant axes of a constant modality and the corresponding mask.

Sourceval create : areality:Mode.Regionality.Const.t -> linearity:Mode.Linearity.Const.t -> uniqueness:Mode.Uniqueness.Const.t -> portability:Mode.Portability.Const.t -> contention:Mode.Contention.Const.t -> forkable:Mode.Forkable.Const.t -> yielding:Mode.Yielding.Const.t -> statefulness:Mode.Statefulness.Const.t -> visibility:Mode.Visibility.Const.t -> staticity:Mode.Staticity.const -> externality:Jkind_axis.Externality.t -> t
Sourceval linearity : t -> Mode.Linearity.Const.t
Sourceval uniqueness : t -> Mode.Uniqueness.Const.t
Sourceval portability : t -> Mode.Portability.Const.t
Sourceval contention : t -> Mode.Contention.Const.t
Sourceval forkable : t -> Mode.Forkable.Const.t
Sourceval yielding : t -> Mode.Yielding.Const.t
Sourceval statefulness : t -> Mode.Statefulness.Const.t
Sourceval visibility : t -> Mode.Visibility.Const.t
Sourceval staticity : t -> Mode.Staticity.const
Sourceval externality : t -> Jkind_axis.Externality.t
Sourceval to_mode_crossing : t -> Mode.Crossing.t
Sourceval nonfloat_value : t

Canonical lattice constants used by ikinds.

Sourceval immutable_data : t
Sourceval mutable_data : t
Sourceval sync_data : t
Sourceval value : t
Sourceval arrow : t
Sourceval immediate : t
Sourceval object_legacy : t
Sourceval axis_number_to_axis_packed : int -> Jkind_axis.Axis.packed

Map from internal axis number (used in diagnostics) to an axis descriptor.