satisfies (TS 4.9+) हे तपासते की मूल्य प्रकाराशी अनुरूप आहे मूल्याचा अनुमानित प्रकार विस्तृत न करता. हे बाधांविरुद्ध सत्यापित करते तर अचूक, शाब्दिक प्रकार नंतरच्या वापरासाठी टिकवून ठेवते — टीकाकरण आणि अनुमानाचे सर्वोत्तम संयोजन.
समस्या ज्याचे हे समाधान करते
ts
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
