-- -*- M2-comint -*- {* hash: 2057958407 *}
i1 : f = () -> ZZ[local t]
o1 = f
o1 : FunctionClosure
i2 : f()
o2 = ZZ[t]
o2 : PolynomialRing
i3 : t
o3 = t
o3 : Symbol
i4 :
-- -*- M2-comint -*- {* hash: 2057958407 *}
i1 : f = () -> ZZ[local t]
o1 = f
o1 : FunctionClosure
i2 : f()
o2 = ZZ[t]
o2 : PolynomialRing
i3 : t
o3 = t
o3 : Symbol
i4 :
::
::
::
