kirin.decl.verify.Verify

← Module overview

classVerify¶source

kirin.decl.verify.Verify

Bases: BaseModifier

class Verify

Public import paths

• from kirin.decl import Verify

Attributes

Name	Type	Default	Description
RESERVED_NAMES	—	{'name', 'traits', 'dialect', 'args', 'parent', 'parent_node', 'parent_region', 'parent_block', 'next_stmt', 'prev_stmt…

methodverify_mro¶source

kirin.decl.verify.Verify.verify_mro

def verify_mro()

source

methodverify_fields¶source

kirin.decl.verify.Verify.verify_fields

def verify_fields()

source