Module call 

Procedure argument validation, static overload selection, and declared result schemas.

Structs

ProcedureCallAnalysis

The syntax metadata needed before the caller captures the scope used for result description.

Functions

infer_call_argument_types

Unknown string and NULL literals participate in procedure overload resolution without a concrete type.

validate_call_arguments

Reject forbidden subqueries before the caller captures its statement catalog scope.