18 pub struct Discriminant {  struct
38     pub fn insert(&mut self, expr: &Expr) -> Result<Discriminant> {  in insert()
65     pub fn insert_next(&mut self) -> Result<Discriminant> {  in insert_next()
108 fn expr_to_discriminant(expr: &Expr) -> Result<(Discriminant, Option<Atom>)> {  in expr_to_discriminant()
135 fn insert(set: &mut DiscriminantSet, discriminant: Discriminant) -> Result<Discriminant> {  in insert()
152 impl Discriminant {  implementation
207 impl Display for Discriminant {  implementation
216 impl ToTokens for Discriminant {  implementation
225 impl FromStr for Discriminant {  implementation
245 impl Ord for Discriminant {  implementation
257 impl PartialOrd for Discriminant {  implementation