sway_ir::verify

Function module_verifier

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

Verify module