Trait ValidateJustArgs

pub trait ValidateJustArgs: Send + Sync {
    // Required method
    fn validate(&self, arg_values: &[Term]) -> Result<(), SignatureError>;
}

Trait for validating type arguments to a PolyFuncTypeRV beyond conformation to declared type parameter (which should have been checked beforehand), given just the arguments.

Required Methods

fn validate(&self, arg_values: &[Term]) -> Result<(), SignatureError>

Validate the type arguments of node given values for the type parameters.

Implementors