Module type Std_kernel.Unit