Macro discriminant_from_name 

macro_rules! discriminant_from_name {
    (AbstractLiteral) => { ... };
    (Root) => { ... };
    (Bubble) => { ... };
    (Comprehension) => { ... };
    (AbstractComprehension) => { ... };
    (DominanceRelation) => { ... };
    (FromSolution) => { ... };
    (Metavar) => { ... };
    (Atomic) => { ... };
    (UnsafeIndex) => { ... };
    (SafeIndex) => { ... };
    (UnsafeSlice) => { ... };
    (SafeSlice) => { ... };
    (InDomain) => { ... };
    (ToInt) => { ... };
    (Abs) => { ... };
    (Sum) => { ... };
    (Product) => { ... };
    (Min) => { ... };
    (Max) => { ... };
    (Not) => { ... };
    (Or) => { ... };
    (And) => { ... };
    (Imply) => { ... };
    (Iff) => { ... };
    (Union) => { ... };
    (In) => { ... };
    (Intersect) => { ... };
    (Supset) => { ... };
    (SupsetEq) => { ... };
    (Subset) => { ... };
    (SubsetEq) => { ... };
    (Eq) => { ... };
    (Neq) => { ... };
    (Geq) => { ... };
    (Leq) => { ... };
    (Gt) => { ... };
    (Lt) => { ... };
    (SafeDiv) => { ... };
    (UnsafeDiv) => { ... };
    (SafeMod) => { ... };
    (UnsafeMod) => { ... };
    (Neg) => { ... };
    (Factorial) => { ... };
    (Defined) => { ... };
    (Range) => { ... };
    (UnsafePow) => { ... };
    (SafePow) => { ... };
    (Flatten) => { ... };
    (AllDiff) => { ... };
    (Table) => { ... };
    (NegativeTable) => { ... };
    (Minus) => { ... };
    (FlatAbsEq) => { ... };
    (FlatAllDiff) => { ... };
    (FlatSumGeq) => { ... };
    (FlatSumLeq) => { ... };
    (FlatIneq) => { ... };
    (FlatWatchedLiteral) => { ... };
    (FlatWeightedSumLeq) => { ... };
    (FlatWeightedSumGeq) => { ... };
    (FlatMinusEq) => { ... };
    (FlatProductEq) => { ... };
    (MinionDivEqUndefZero) => { ... };
    (MinionModuloEqUndefZero) => { ... };
    (MinionPow) => { ... };
    (MinionReify) => { ... };
    (MinionReifyImply) => { ... };
    (MinionWInIntervalSet) => { ... };
    (MinionWInSet) => { ... };
    (MinionElementOne) => { ... };
    (AuxDeclaration) => { ... };
    (SATInt) => { ... };
    (PairwiseSum) => { ... };
    (PairwiseProduct) => { ... };
    (Image) => { ... };
    (ImageSet) => { ... };
    (PreImage) => { ... };
    (Inverse) => { ... };
    (Restrict) => { ... };
    (LexLt) => { ... };
    (LexLeq) => { ... };
    (LexGt) => { ... };
    (LexGeq) => { ... };
    (FlatLexLt) => { ... };
    (FlatLexLeq) => { ... };
}