Module type Core__.Import.T1