Enum __Symbol

Source

pub(crate) enum __Symbol {
Show 107 variants
    Variant0(Token),
    Variant1(Symbol),
    Variant2(Lit),
    Variant3(Option<Token>),
    Variant4(RefineParams),
    Variant5(Option<RefineParams>),
    Variant6(Ty),
    Variant7(Option<Ty>),
    Variant8(RefineParam),
    Variant9(Option<RefineParam>),
    Variant10(Vec<Ensures>),
    Variant11(Option<Vec<Ensures>>),
    Variant12(Vec<Requires>),
    Variant13(Option<Vec<Requires>>),
    Variant14(Vec<WhereBoundPredicate>),
    Variant15(Option<Vec<WhereBoundPredicate>>),
    Variant16(Expr),
    Variant17(Option<Expr>),
    Variant18(BaseSort),
    Variant19(Vec<BaseSort>),
    Variant20(ConstructorArg),
    Variant21(Vec<ConstructorArg>),
    Variant22(Ensures),
    Variant23(Vec<Ensures>),
    Variant24(Vec<Expr>),
    Variant25(FnInput),
    Variant26(Vec<FnInput>),
    Variant27(GenericArg),
    Variant28(Vec<GenericArg>),
    Variant29(GenericParam),
    Variant30(Vec<GenericParam>),
    Variant31(Ident),
    Variant32(Vec<Ident>),
    Variant33(Item),
    Variant34(Vec<Item>),
    Variant35(PathSegment),
    Variant36(Vec<PathSegment>),
    Variant37(RefineArg),
    Variant38(Vec<RefineArg>),
    Variant39(Vec<RefineParam>),
    Variant40(Requires),
    Variant41(Vec<Requires>),
    Variant42(Vec<Ty>),
    Variant43(WhereBoundPredicate),
    Variant44(Vec<WhereBoundPredicate>),
    Variant45((Ty, Token)),
    Variant46(Vec<(Ty, Token)>),
    Variant47(Location),
    Variant48(usize),
    Variant49(Vec<BaseSort>),
    Variant50(Option<Vec<BaseSort>>),
    Variant51(Vec<GenericArg>),
    Variant52(Async),
    Variant53(Option<BaseSort>),
    Variant54(BaseTy),
    Variant55(BaseTyKind),
    Variant56(BinOp),
    Variant57(Vec<RefineParam>),
    Variant58(Vec<ConstructorArg>),
    Variant59(Vec<Expr>),
    Variant60(Vec<FnInput>),
    Variant61(Vec<GenericParam>),
    Variant62(Vec<Ident>),
    Variant63(Vec<RefineArg>),
    Variant64(Vec<Ty>),
    Variant65(ConstArg),
    Variant66(ConstantInfo),
    Variant67(Option<ConstructorArg>),
    Variant68(ExprPath),
    Variant69(Option<FnInput>),
    Variant70(FnSig),
    Variant71(Option<GenericArg>),
    Variant72(Option<Vec<GenericArg>>),
    Variant73(GenericBounds),
    Variant74(Option<GenericParam>),
    Variant75(Generics),
    Variant76(Option<Ident>),
    Variant77(ImplAssocReft),
    Variant78(Vec<ImplAssocReft>),
    Variant79(Vec<ImplAssocReft>),
    Variant80(Indices),
    Variant81(Vec<Item>),
    Variant82(Lit),
    Variant83(ParamMode),
    Variant84(Option<ParamMode>),
    Variant85(Path),
    Variant86(Vec<PathSegment>),
    Variant87(Punctuated<Ty, Token>),
    Variant88(QualNames),
    Variant89(Qualifier),
    Variant90(Option<RefineArg>),
    Variant91(Option<Vec<RefineArg>>),
    Variant92(Sort),
    Variant93(SortDecl),
    Variant94(Vec<Ident>),
    Variant95(Option<Vec<Ident>>),
    Variant96(SpecFunc),
    Variant97(TraitAssocReft),
    Variant98(Vec<TraitAssocReft>),
    Variant99(Vec<TraitAssocReft>),
    Variant100(TyAlias),
    Variant101(TyKind),
    Variant102(UnOp),
    Variant103(VariantDef),
    Variant104(VariantRet),
    Variant105(Option<VariantRet>),
    Variant106(Option<WhereBoundPredicate>),
}