titus.prettypfa.MiniWhile¶

class titus.prettypfa.MiniWhile(predicate, body, pretest, low, high)[source]¶

Bases: titus.prettypfa.MiniAst

Mini-AST element representing a while loop.

__init__(predicate, body, pretest, low, high)¶

asExpr(state)¶