pub fn check_file(file: &Path) -> Result<(TypeEnv, Option<Type>)>
Expand description

Type check did file including the imports.