SOURCE_FILE
  FN
    FN_KW "fn"
    WHITESPACE " "
    NAME
      IDENT "f"
    PARAM_LIST
      L_PAREN "("
      PARAM
        ATTR
          POUND "#"
          L_BRACK "["
          META
            PATH
              PATH_SEGMENT
                NAME_REF
                  IDENT "attr1"
          R_BRACK "]"
        WHITESPACE " "
        IDENT_PAT
          NAME
            IDENT "pat"
        COLON ":"
        WHITESPACE " "
        PATH_TYPE
          PATH
            PATH_SEGMENT
              NAME_REF
                IDENT "Type"
      R_PAREN ")"
    WHITESPACE " "
    BLOCK_EXPR
      STMT_LIST
        L_CURLY "{"
        R_CURLY "}"
  WHITESPACE "\n"
