pub trait GenericJudgment: SizedSolverRule {
// Required methods
fn vars(&self) -> &[Id];
fn premises(&self) -> &[Premise];
// Provided method
fn parse<Split: SplitStrategy>(params: &[Term], rules: &mut RuleSet<Split>) { ... }
}Required Methods§
Provided Methods§
fn parse<Split: SplitStrategy>(params: &[Term], rules: &mut RuleSet<Split>)
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.