tvm_tirx.script.printer.doc.WhileDoc

class tvm_tirx.script.printer.doc.WhileDoc(predicate, body)

Bases: StmtDoc

Doc that represents while statement.

Parameters:

• predicate (ExprDoc)

• body (Sequence[StmtDoc])

property predicate

property body