definition module Sil.Util

from StdOverloaded import class toString, class zero

from Sil.Parse import :: Token
from Sil.Syntax import :: Program, :: Function, :: CodeBlock,
	:: Initialisation, :: Statement, :: Type, :: Application, :: Literal

:: PrintState

instance zero PrintState

class PrettyPrinter t where
	print :: PrintState t -> String

instance PrettyPrinter [Token]

instance PrettyPrinter Program
instance PrettyPrinter Function
instance PrettyPrinter CodeBlock
instance PrettyPrinter Initialisation
instance PrettyPrinter Statement

instance toString Statement
instance toString Type
instance toString Application
instance toString Literal