Skip to content

bloqade.lanes.dialects.move.LogicalInitialize

← Module overview

classLogicalInitializesource

bloqade.lanes.dialects.move.LogicalInitialize

Bases: StatefulStatement

class LogicalInitialize

Attributes

NameTypeDefaultDescription
location_addressestuple[LocationAddress, ...]info.attribute()
thetastuple[ir.SSAValue, ...]info.argument(type=(types.Float))
phistuple[ir.SSAValue, ...]info.argument(type=(types.Float))
lamstuple[ir.SSAValue, ...]info.argument(type=(types.Float))