Module type Local.s