O object

WhileOps

extends Object with Serializable

Supertypes

Object, Serializable

Members

def 

body

( self: While ) ( implicit  ctx: Context ) : Term

def 

cond

( self: While ) ( implicit  ctx: Context ) : Term