let
uniform v =
TTerm
(
RowUniform
v)