Trait SigChecker

pub trait SigChecker: TyCtx {
    // Required method
    fn check(
        &mut self,
        sig: Sig<'_>,
        args: &mut SigCheckContext,
        pol: bool,
    ) -> Option<()>;
}

A trait to check a signature.

Required Methods

fn check( &mut self, sig: Sig<'_>, args: &mut SigCheckContext, pol: bool, ) -> Option<()>

Checks the signature.

Implementors

impl<T: ApplyChecker> SigChecker for ApplySigChecker<'_, T>