public String details() {
   return "ClsPatDef("
       + "id="
       + Syntax.detailsome(this.id)
       + " "
       + "formals="
       + "["
       + Syntax.sepDetails(this.formals, ",")
       + "]"
       + " "
       + "body="
       + Syntax.detailsome(this.body)
       + ")";
 }
 public String details() {
   return "PostExpArgs(" + "args=" + "[" + Syntax.sepDetails(this.args, ",") + "]" + ")";
 }
 public String details() {
   return "CmdsInAList(" + "cmds=" + "[" + Syntax.sepDetails(this.cmds, ",") + "]" + ")";
 }