type ns = t.ns;