public String details() {
   return "DotMethodCallExp("
       + "methodName="
       + Syntax.detailsome(this.methodName)
       + " "
       + "subpat="
       + Syntax.detailsome(this.subpat)
       + ")";
 }
 public String details() {
   return "ClsPatDef("
       + "id="
       + Syntax.detailsome(this.id)
       + " "
       + "formals="
       + "["
       + Syntax.sepDetails(this.formals, ",")
       + "]"
       + " "
       + "body="
       + Syntax.detailsome(this.body)
       + ")";
 }