diff options
Diffstat (limited to 'sucl/pfun.dcl')
| -rw-r--r-- | sucl/pfun.dcl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sucl/pfun.dcl b/sucl/pfun.dcl index baea62f..022188a 100644 --- a/sucl/pfun.dcl +++ b/sucl/pfun.dcl @@ -45,3 +45,5 @@ instance toString Pfun dom ran | toString dom & toString ran on the nodes in `dom' for which it is defined. */ idpfun :: !.[dom] .(Pfun dom dom) -> Bool | == dom + +instance == (Pfun dom ran) | == dom & == ran |