Module rules 

Check (Rules) pass — semantic rules over the Typed AST.

Read-only: produces additional diagnostics, never modifies the tree.

Functions

capability_binding_type

The type a @capability binding path reads from a parameter of type ty in package, resolved as the capability-consistency rule resolves it. None when a segment names no field or reaches an unknown declaration.

check

check_script for a script whose types are all its own: one imported from a package cannot be resolved here.

check_script

Checks a script. dependencies are the packages it was inferred against, which declare the types it imports.