Explicit caller declarations remain visible, including conflicts. Generic
invocation defaults describe only runs whose semantic declaration has not
been delegated to an assigned native producer. Unknown flags fail closed.
11def aosExecutionDeclarationAdmission =
12 (lambda unrestricted explicit : Nat .
13 (lambda unrestricted owns : Nat .
14 (lambda unrestricted delegated : Nat .
15 (naturalAnd
16 (naturalAnd
17 (naturalLessOrEqual explicit 1)
18 (naturalAnd (naturalLessOrEqual owns 1) (naturalLessOrEqual delegated 1)))
19 (naturalOr
20 (naturalEqual explicit 1)
21 (naturalAnd (naturalEqual owns 1) (naturalEqual delegated 0)))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.