aboutsummaryrefslogtreecommitdiff
path: root/sucl/dnc.dcl
blob: 081dc971ec6e167b2c7030fe79fcda13524ff3d7 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
definition module dnc

// $Id$

from graph import Graph,Node
from StdString import String
from StdOverloaded import ==

// dnc is like varcontents, but can give a more reasonable error message
// when the contents is used when undefined.
dnc :: (var->.String) !.(Graph sym var) var -> (.Bool,Node sym var) | == var