Lines Matching defs:Discriminant
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