Module deduced_param_attrs 

Structs

DeducedParamAttrs

Parameter attributes that can only be determined by examining the body of a function instead of just its signature.

DeducedReadOnlyParam

Flags that dictate how a parameter is mutated. If the flags are empty, the param is read-only. If non-empty, it is read-only if all flags’ conditions are met.