pyslang.StrongWeakAssertionExpr class

Enums

class Strength: Strong = 0 Weak = 1
Members:

Special methods

def __repr__(self, /) -> str

Properties

bad: bool get
expr: AssertionExpr get
kind: AssertionExprKind get
strength get
syntax get

Data

Strong = Strength.Strong
Weak = Strength.Weak