pa_where provides a syntax for backward declarations (allowing a top-to-bottom declarative style), using the “where” keyword.
Local definitions in expressions and toplevel definitions are both supported.