Trait ApplyChecker

pub trait ApplyChecker: TyCtx {
    // Required method
    fn apply(&mut self, sig: Sig<'_>, arguments: &Interned<SigTy>, pol: bool);
}

A trait for checking the application of a signature.

Required Methods

fn apply(&mut self, sig: Sig<'_>, arguments: &Interned<SigTy>, pol: bool)

Applies a signature to the given arguments.

Implementors