Skip to main content

ClonableDynProofRule

ftml_solver::rules

Trait ClonableDynProofRule 

Source 
trait ClonableDynProofRule<Split: SplitStrategy>: ProofRule<Split> {
    // Required method
    fn to_dyn_proof(&self) -> Box<dyn ProofRule<Split>>;
}

Required Methods§

Source

fn to_dyn_proof(&self) -> Box<dyn ProofRule<Split>>

Implementors§

Source§

impl<Split: SplitStrategy, T: ProofRule<Split> + Sized + Clone> ClonableDynProofRule<Split> for T