ABC/Misc.dcl


1
2
3
4
5
6
7
8

definition module ABC.Misc

from StdOverloaded import class toString

abortn :: String -> a

(<+) infixl 5  :: a b -> String | toString a & toString b
(<++) infixl 5 :: a (g, [b]) -> String | toString a & toString b & toString g