WhileMethods

Extension methods of While

Extensions

Extensions

extension (self: While)
def body: Term
def cond: Term