[ 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