pub fn verify_function<'a, FOI: Into<FlagsOrIsa<'a>>>(
    func: &Function,
    fisa: FOI
) -> VerifierResult<()>
Expand description

Verify func.