pub fn check(
interface_files: &[String],
sources_shadow_deps: bool,
files: &[String],
named_addresses: BTreeMap<String, AddressBytes>,
verbose: bool
) -> Result<()>
Expand description
Type-check the user modules in files
and the dependencies in interface_files