Module declaration 

Routine type references, polymorphic signatures, and declaration validation.

Traits

RoutineTypeCatalog

Functions

resolve_alter_routine_identity_types

resolve_plpgsql_datum_types

resolve_routine_identity_types

resolve_routine_type_references

Resolve the declared argument and result types, as interpret_function_parameter_list and compute_return_type do. Each argument in order requires USAGE on its type, a missing one named as written and unquoted; then no input may follow a VARIADIC argument, nor an output in a procedure, a VARIADIC argument must be an array, a name may not repeat within one direction, only inputs may have defaults, and after one every input needs one, as every procedure output does not. The result type follows, a missing one quoted.

result_type_name

Catalog result identity of a validated declaration, independent of whether RETURNS was written. Procedures expose record for any output parameters; functions use the declared or inferred scalar/record type.