kirin.ir.traits.abc.StmtTrait

← Module overview

classStmtTrait¶source

kirin.ir.traits.abc.StmtTrait

Bases: Trait['ir.Statement'], ABC

Base class for all statement traits.

class StmtTrait

Public import paths

• from kirin.ir import StmtTrait
• from kirin.ir.traits import StmtTrait
• from kirin.ir.traits.basic import StmtTrait
• from kirin.ir.traits.symbol import StmtTrait
• from kirin.ir.traits.callable import StmtTrait

methodverify¶source

kirin.ir.traits.abc.StmtTrait.verify

def verify(node: ir.Statement)

Parameters

Name	Type	Description
node	ir.Statement

source