Assertion list for term "correct type".
Results from Ascent++: 2
argument → HasA → correct type 0.38
caller → HasA → correct type 0.38