[−][src]Trait l_group_formulas::Reducable
If terms can be cleaned up in a non-expensive way, they implement this trait.
If terms can be cleaned up in a non-expensive way, they implement this trait.
fn reduced(self) -> Self
impl Reducable for LGroupTerm
[src]fn reduced(self) -> LGroupTerm
[src]impl Reducable for FreeGroupTerm
[src]fn reduced(self) -> FreeGroupTerm
[src]