Ocaml_typing.Typemodeval transl_mode_annots :
Ocaml_parsing.Parsetree.modes ->
Mode.Alloc.Const.Option.tInterpret mode syntax as mode annotation, where axes can be left unspecified
val untransl_mode_annots :
Mode.Alloc.Const.Option.t ->
Ocaml_parsing.Parsetree.modesval transl_alloc_mode : Ocaml_parsing.Parsetree.modes -> 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 ->
Types.mutability ->
Ocaml_parsing.Parsetree.modalities ->
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 : Mode.Modality.Const.tval atomic_mutable_modalities : Mode.Modality.Const.tThe (default) modalities for an atomic mutable field
val untransl_modality :
Mode.Modality.atom ->
Ocaml_parsing.Parsetree.modality Ocaml_parsing.Location.locval untransl_modalities :
Types.mutability ->
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 ->
Types.Jkind_mod_bounds.tInterpret a mod-bounds.
val untransl_mod_bounds :
Types.Jkind_mod_bounds.t ->
Ocaml_parsing.Parsetree.modesval idx_expected_modalities : mut:bool -> Mode.Modality.Const.tmodule Mode_axis_pair : sig ... endmodule Modality_axis_pair : sig ... endmodule Modifier_axis_pair : sig ... end