definition module Sil.Check

from StdOverloaded import class toString

from Sil.Error import :: Error
from Sil.Syntax import :: Program

checkProgram :: *(? *File) Program -> *([Error], * ? *File)