pub type While = While<Value>;
struct While { pub cond: Condition<Value>, pub body: Statements<Value>, }
cond: Condition<Value>
body: Statements<Value>