Module type Core_kernel__.Std_kernel.T1