280 bytes added
, 21:25, 21 January 2021
{{Infobox relation|name=isA|addr=prim::isA|category=basic|degree=2|transitive=yes|equivalent=isa}}
'''isA''' is a built-in relation between classes and types. The subject A is the subclass of the object B.
== Example ==
{{Fact|isA|[[Type:uint8|uint8]]|[[Type:integer|integer]]}}