Searched refs:satisfies (Results 26 – 29 of 29) sorted by relevance
12
592 source code from the same place satisfies the requirement to
1 …satisfies\n // `pred` and is closest to `from`. Assumes that at least `to`\n // satisfies `pred`…
1 …satisfies\\b)/i,/^(?:verifies\\b)/i,/^(?:refines\\b)/i,/^(?:traces\\b)/i,/^(?:type\\b)/i,/^(?:docr…