Function sway_ir::verify::module_verifier

source ยท
pub fn module_verifier(
    context: &Context<'_>,
    _analyses: &AnalysisResults,
    module: Module
) -> Result<AnalysisResult, IrError>
Expand description

Verify module