Module type Std_kernel.T1