GNU Aris Manual: ii

Next: , Previous: , Up: Predicate Rules [Contents]

6.3.8 Identity

Identity asserts that any variable is identical to itself.

Identity does not use any references.

AltStyle によって変換されたページ (->オリジナル) /