Function check 

pub fn check(files: &[&File]) -> Checked

Checks files as one program. They share one namespace, so a name declared in any of them can be used in all of them. The first is the entry file.