Difference between revisions of "Template:Fact"

From OXPL Wiki
Jump to navigation Jump to search
(Created page)
(No difference)

Revision as of 20:21, 20 January 2021

{{Fact|isA|uint8|PrimitiveType|style=1}}

generates:

Fact

<uint8> isA <PrimitiveType>.

and

{{Fact|isA|uint8|PrimitiveType|style=2}}

generates:

Fact

isA(uint8, PrimitiveType).