pub trait UniverseRule<Split: SplitStrategy>: CheckerRule {
// Required methods
fn applicable(&self, term: &Term) -> bool;
fn apply<'t>(
&self,
checker: CheckRef<'t, '_, Split>,
term: &'t Term,
) -> Option<bool>;
}Required Methods§
fn applicable(&self, term: &Term) -> bool
fn apply<'t>( &self, checker: CheckRef<'t, '_, Split>, term: &'t Term, ) -> Option<bool>
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".