Module Ocaml_typing.Typemode
val transl_mode_annots :
Ocaml_parsing.Parsetree.modes ->
Ocaml_typing.Mode.Alloc.Const.Option.tInterpret mode syntax as mode annotation, where axes can be left unspecified
val untransl_mode_annots :
Ocaml_typing.Mode.Alloc.Const.Option.t ->
Ocaml_parsing.Parsetree.modesval transl_alloc_mode :
Ocaml_parsing.Parsetree.modes ->
Ocaml_typing.Mode.Alloc.Const.tInterpret mode syntax as alloc mode (on arrow types), where axes are set to legacy if unspecified
val transl_modalities :
maturity:Ocaml_parsing.Language_extension.maturity ->
Ocaml_typing.Types.mutability ->
Ocaml_parsing.Parsetree.modalities ->
Ocaml_typing.Mode.Modality.Const.tInterpret mode syntax as modalities. Modalities occuring at different places requires different levels of maturity. Also takes the mutability and attributes on the field and insert mutable-implied modalities accordingly.
val let_mutable_modalities : Ocaml_typing.Mode.Modality.Const.tval atomic_mutable_modalities : Ocaml_typing.Mode.Modality.Const.tThe (default) modalities for an atomic mutable field
val untransl_modality :
Ocaml_typing.Mode.Modality.atom ->
Ocaml_parsing.Parsetree.modality Ocaml_parsing.Location.locval untransl_modalities :
Ocaml_typing.Types.mutability ->
Ocaml_typing.Mode.Modality.Const.t ->
Ocaml_parsing.Parsetree.modalitiesUn-interpret modalities back to parsetree. Takes the mutability and attributes on the field and remove mutable-implied modalities accordingly.
val transl_mod_bounds :
Ocaml_parsing.Parsetree.modes ->
Ocaml_typing.Types.Jkind_mod_bounds.tInterpret a mod-bounds.
val untransl_mod_bounds :
Ocaml_typing.Types.Jkind_mod_bounds.t ->
Ocaml_parsing.Parsetree.modesval idx_expected_modalities : mut:bool -> Ocaml_typing.Mode.Modality.Const.tmodule Mode_axis_pair : sig ... endmodule Modality_axis_pair : sig ... endmodule Modifier_axis_pair : sig ... end