SOURCE_FILE@[0; 32)
  TYPE_ALIAS_DEF@[0; 31)
    TYPE_KW@[0; 4) "type"
    WHITESPACE@[4; 5) " "
    NAME@[5; 6)
      IDENT@[5; 6) "F"
    WHITESPACE@[6; 7) " "
    EQ@[7; 8) "="
    WHITESPACE@[8; 9) " "
    PATH_TYPE@[9; 30)
      PATH@[9; 30)
        PATH_SEGMENT@[9; 30)
          NAME_REF@[9; 12)
            IDENT@[9; 12) "Box"
          TYPE_ARG_LIST@[12; 30)
            L_ANGLE@[12; 13) "<"
            TYPE_ARG@[13; 29)
              PATH_TYPE@[13; 29)
                PATH@[13; 29)
                  PATH_SEGMENT@[13; 29)
                    NAME_REF@[13; 15)
                      IDENT@[13; 15) "Fn"
                    PARAM_LIST@[15; 23)
                      L_PAREN@[15; 16) "("
                      PARAM@[16; 22)
                        BIND_PAT@[16; 17)
                          NAME@[16; 17)
                            IDENT@[16; 17) "x"
                        COLON@[17; 18) ":"
                        WHITESPACE@[18; 19) " "
                        PATH_TYPE@[19; 22)
                          PATH@[19; 22)
                            PATH_SEGMENT@[19; 22)
                              NAME_REF@[19; 22)
                                IDENT@[19; 22) "i32"
                      R_PAREN@[22; 23) ")"
                    WHITESPACE@[23; 24) " "
                    RET_TYPE@[24; 29)
                      THIN_ARROW@[24; 26) "->"
                      WHITESPACE@[26; 27) " "
                      TUPLE_TYPE@[27; 29)
                        L_PAREN@[27; 28) "("
                        R_PAREN@[28; 29) ")"
            R_ANGLE@[29; 30) ">"
    SEMI@[30; 31) ";"
  WHITESPACE@[31; 32) "\n"