verse.parser.parser.Assert

class verse.parser.parser.Assert(cond: ast.expr, label: str, pre: ast.expr)

Bases: object

__init__(cond: expr, label: str, pre: expr) → None