Module `Const.Option`Source

Sourcetype some = t

type t =
  (Locality.Const.t option,
    Linearity.Const.t option,
    Uniqueness.Const.t option,
    Portability.Const.t option,
    Contention.Const.t option,
    Forkable.Const.t option,
    Yielding.Const.t option,
    Statefulness.Const.t option,
    Visibility.Const.t option,
    Staticity.Const.t option)
    modes

Sourceval none : t

Sourceval value : t -> default:some -> some

Sourceval print : Ocaml_typing.Mode_intf.Fmt.formatter -> t -> unit

Sourceval proj : 'a Axis.t -> t -> 'a option

Sourceval set : 'a Axis.t -> 'a option -> t -> t

Module Const.OptionSource

Module `Const.Option`Source