Trait CheckingRule 

pub trait CheckingRule<Split: SplitStrategy>: CheckerRule {
    // Required methods
    fn applicable(
        &self,
        checker: &CheckRef<'_, '_, Split>,
        term: &Term,
        tp: &Term,
    ) -> bool;
    fn apply<'t>(
        &self,
        checker: CheckRef<'t, '_, Split>,
        term: &'t Term,
        tp: &'t Term,
    ) -> Option<bool>;
}

Required Methods

fn applicable( &self, checker: &CheckRef<'_, '_, Split>, term: &Term, tp: &Term, ) -> bool

fn apply<'t>( &self, checker: CheckRef<'t, '_, Split>, term: &'t Term, tp: &'t Term, ) -> Option<bool>

Implementors

impl<Split: SplitStrategy> CheckingRule<Split> for NumberTypes

impl<Split: SplitStrategy> CheckingRule<Split> for LambdaPiCheckingRule

impl<Split: SplitStrategy> CheckingRule<Split> for AnyRule

impl<Split: SplitStrategy> CheckingRule<Split> for GenericTyping