19 extern /*@observer@*/ cstring clause_nameAlternate (clause p_cl) /*@*/ ;
20 extern /*@observer@*/ cstring clause_nameTaken (clause p_cl) /*@*/ ;
21 extern /*@observer@*/ cstring clause_nameFlip (clause p_cl, bool p_flip) /*@*/ ;
23 extern bool clause_isConditional (clause p_cl) /*@*/ ;
24 extern bool clause_isBreakable (clause p_cl) /*@*/ ;
25 extern bool clause_isLoop (clause p_cl) /*@*/ ;
26 extern bool clause_isSwitch (clause p_cl) /*@*/ ;
27 extern bool clause_isCase (clause p_cl) /*@*/ ;
28 extern bool clause_isNone (clause p_cl) /*@*/ ;
30 extern /*@observer@*/ cstring clause_unparse (clause p_cl) /*@*/ ;