17 pub(crate) struct Discriminant {  struct
37     pub(crate) fn insert(&mut self, expr: &Expr) -> Result<Discriminant> {  in insert()
64     pub(crate) fn insert_next(&mut self) -> Result<Discriminant> {  in insert_next()
107 fn expr_to_discriminant(expr: &Expr) -> Result<(Discriminant, Option<Atom>)> {  in expr_to_discriminant()
134 fn insert(set: &mut DiscriminantSet, discriminant: Discriminant) -> Result<Discriminant> {  in insert()
151 impl Discriminant {  impl
206 impl Display for Discriminant {  implementation
215 impl ToTokens for Discriminant {  implementation
224 impl FromStr for Discriminant {  implementation
244 impl Ord for Discriminant {  implementation
256 impl PartialOrd for Discriminant {  implementation