Калиди satisfies дар TypeScript чӣ маъно дорад ва барои чӣ лозим аст?