IO.dcl


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

definition module ABC.IO

from StdOverloaded import class toString

from ABC.Nodes import ::Node
from ABC.GraphStore import ::Desc
from ABC.Def import ::State

:: IO (:== [Char])

instance toString IO

io_init  :: IO
io_print :: a IO -> IO | toString a

show_node :: Node Desc -> String
instance toString State