[ Reference Manual | Alphabetic Index ]

library(notinstance)

Constraints for structural equality and subsumption

Predicates

X ~= Y
Constrains X and Y to be different
X ~=< Y
Constrain X not to be an instance of Y

Other Exports

export op(700, xfx, ~=<)

About


Generated from notinstance.eci on 2017-07-09 15:37