[ 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/03/13 06:26:54 $
Generated from notinstance.eci on 2009-04-30 23:03