Module `Modality.Const`

type t

A modality that acts on Value axes. Conceptually it is a record where individual fields can be set or proj.

val id : Ocaml_typing.Mode.Modality.Const.t

The identity modality.

val is_id : Ocaml_typing.Mode.Modality.Const.t -> bool

Test if the given modality is the identity modality.

val apply : 
  Ocaml_typing.Mode.Modality.Const.t ->
  ('l * 'r) Ocaml_typing.Mode.Value.t ->
  ('l * 'r) Ocaml_typing.Mode.Value.t

Apply a modality on mode.

val concat : 
  then_:Ocaml_typing.Mode.Modality.Const.t ->
  Ocaml_typing.Mode.Modality.Const.t ->
  Ocaml_typing.Mode.Modality.Const.t

concat ~then t returns the modality that is then_ after t.

val set : 
  'a Ocaml_typing.Mode.Modality.Axis.t ->
  'a ->
  Ocaml_typing.Mode.Modality.Const.t ->
  Ocaml_typing.Mode.Modality.Const.t

set a t overwrites an axis of t to be a.

val proj : 
  'a Ocaml_typing.Mode.Modality.Axis.t ->
  Ocaml_typing.Mode.Modality.Const.t ->
  'a

proj ax t projects out the axis ax of t.

val diff : 
  Ocaml_typing.Mode.Modality.Const.t ->
  Ocaml_typing.Mode.Modality.Const.t ->
  Ocaml_typing.Mode.Modality.atom list

diff t0 t1 returns a list of atoms in t1 that are different than t0.

val equate : 
  Ocaml_typing.Mode.Modality.Const.t ->
  Ocaml_typing.Mode.Modality.Const.t ->
  (unit, Ocaml_typing.Mode.Modality.equate_error) Stdlib.Result.t

equate t0 t1 checks that t0 = t1. Definition: t0 = t1 iff t0 <= t1 and t1 <= t0.

val print : 
  Stdlib.Format.formatter ->
  Ocaml_typing.Mode.Modality.Const.t ->
  unit

Printing for debugging.

Module Modality.Const

Module `Modality.Const`