Skip to content

kirin.dialects.py.len.Len

← Module overview

classLensource

kirin.dialects.py.len.Len

Bases: ir.Statement

class Len

Attributes

NameTypeDefaultDescription
name—'len'
traits—frozenset({ir.Pure(), lowering.FromPythonCall()})
valueir.SSAValueinfo.argument(types.Any)
resultir.ResultValueinfo.result(types.Int)