Assertion list
interface (primary) → DefinedAs
Results from Ascent++: 4
interface → DefinedAs → a source code file 0.30
interface → DefinedAs → servicecontractattribute 0.27
interface → DefinedAs → syntactical contract 0.25
interface → DefinedAs → down 0.23