let
declare tcomp _eqname =
Formula
.
Trecord
tcomp