sucl/complete.dcl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

definition module complete

from graph import Graph
from StdOverloaded import ==

:: Pattern sym var
   :== (Graph sym var,[var])

coveredby
 :: ([sym]->Bool)
    (Graph sym var)
    ![Pattern sym pvar]
    [var]
 -> Bool
 |  == sym
 &  == var
 &  == pvar