SOURCE_FILE
  TYPE_ALIAS
    TYPE_KW "type"
    WHITESPACE " "
    NAME
      IDENT "F"
    WHITESPACE " "
    EQ "="
    WHITESPACE " "
    PATH_TYPE
      PATH
        PATH_SEGMENT
          NAME_REF
            IDENT "Box"
          GENERIC_ARG_LIST
            L_ANGLE "<"
            TYPE_ARG
              PATH_TYPE
                PATH
                  PATH_SEGMENT
                    NAME_REF
                      IDENT "Fn"
                    PARAM_LIST
                      L_PAREN "("
                      PARAM
                        PATH_TYPE
                          PATH
                            PATH_SEGMENT
                              NAME_REF
                                IDENT "i32"
                      COMMA ","
                      WHITESPACE " "
                      PARAM
                        REF_TYPE
                          AMP "&"
                          PATH_TYPE
                            PATH
                              PATH_SEGMENT
                                NAME_REF
                                  IDENT "i32"
                      COMMA ","
                      WHITESPACE " "
                      PARAM
                        REF_TYPE
                          AMP "&"
                          PATH_TYPE
                            PATH
                              PATH_SEGMENT
                                NAME_REF
                                  IDENT "i32"
                      COMMA ","
                      WHITESPACE " "
                      PARAM
                        TUPLE_TYPE
                          L_PAREN "("
                          R_PAREN ")"
                      R_PAREN ")"
            R_ANGLE ">"
    SEMICOLON ";"
  WHITESPACE "\n"
