let declare tcomp _eqname =
       Formula.Trecord tcomp