Member predicate Impl::Enum::isFieldless
Holds if this is a field-less enum, that is, an enum where no constructors contain fields.
See: https://doc.rust-lang.org/reference/items/enumerations.html#r-items.enum.fieldless
predicate isFieldless()Holds if this is a field-less enum, that is, an enum where no constructors contain fields.
See: https://doc.rust-lang.org/reference/items/enumerations.html#r-items.enum.fieldless
predicate isFieldless()