Enum __Symbol

Source

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