56
edits
Changes
Jump to navigation
Jump to search
Created page
{{Infobox relation|name=canConvertTo|addr=prim::canConvertTo|category=basic|degree=2|transitive=yes}}
The '''canConvertTo''' relation states that the subject type can be converted to the object type.
== Example ==
{{Fact|canConvertTo|[[Type:uint8|uint8]]|[[Type:uint16|uint16]]}}
{{Fact|canConvertTo|[[Type:uint16|uin16]]|[[Type:uint32|uint32]]}}
As this relation is transitive, the following fact can be inferred from the above ones:
{{Fact|canConvertTo|[[Type:uint8|uint8]]|[[Type:uint32|uint32]]}}
The '''canConvertTo''' relation states that the subject type can be converted to the object type.
== Example ==
{{Fact|canConvertTo|[[Type:uint8|uint8]]|[[Type:uint16|uint16]]}}
{{Fact|canConvertTo|[[Type:uint16|uin16]]|[[Type:uint32|uint32]]}}
As this relation is transitive, the following fact can be inferred from the above ones:
{{Fact|canConvertTo|[[Type:uint8|uint8]]|[[Type:uint32|uint32]]}}