https://wiki.oxpl.org/w/index.php?action=history&feed=atom&title=Relation%3AcanConvertTo 2026-05-14T16:17:47Z Revision history for this page on the wiki MediaWiki 1.35.1 https://wiki.oxpl.org/w/index.php?title=Relation:canConvertTo&diff=39&oldid=prev 2021-01-21T21:41:50Z

<p>Created page</p> <p><b>New page</b></p><div>{{Infobox relation|name=canConvertTo|addr=prim::canConvertTo|category=basic|degree=2|transitive=yes}}<br /> <br /> The &#039;&#039;&#039;canConvertTo&#039;&#039;&#039; relation states that the subject type can be converted to the object type.<br /> <br /> == Example ==<br /> {{Fact|canConvertTo|[[Type:uint8|uint8]]|[[Type:uint16|uint16]]}}<br /> {{Fact|canConvertTo|[[Type:uint16|uin16]]|[[Type:uint32|uint32]]}}<br /> <br /> As this relation is transitive, the following fact can be inferred from the above ones:<br /> <br /> {{Fact|canConvertTo|[[Type:uint8|uint8]]|[[Type:uint32|uint32]]}}</div>

Viktor