[ 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
- Author: Joachim Schimpf, ECRC Munich
- Copyright © Cisco Systems, Inc
- Date: $Date: 2009/07/16 09:11:24 $
Generated from notinstance.eci on 2022-09-03 14:26