definition module Sil.Check

from StdOverloaded import class toString

from Data.Maybe import :: Maybe

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

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