pub trait FuncValidator {
    type Output;
    fn new(ctx: &FunctionValidationContext<'_>, body: &FuncBody) -> Self;
fn next_instruction(
        &mut self,
        ctx: &mut FunctionValidationContext<'_>,
        instruction: &Instruction
    ) -> Result<(), Error>;
fn finish(self) -> Self::Output; }

Associated Types

Required methods

Implementors