Quote: if a function's parameter requires additional rights, then all callers must indicate those rights.

Note

'fcn f(x:a) = defines f as requiring a parameter of type a with a and rights, while f(z) is calling f with an argument with "a" rights (errored) can also do this exported names

Related Topics

Topic: data type by access rights (20 items)