WhileMethods

Extension methods of While

class Object
trait Matchable
class Any

Extensions

Extensions

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