Module type Ppx_core.T1