Assertion list
specification (primary) → SimilarTo
Results from Ascent++: 2
specification → SimilarTo → corresponding declarations 0.45
specification → SimilarTo → for a regular 750s 0.27