Function check_unknown_calls_with_exports 

pub fn check_unknown_calls_with_exports(
    stmts: &[Stmt<'_>],
    interner: &Interner,
    registry: &TypeRegistry,
    exports: &HashSet<String>,
) -> Result<(), TypeError>

check_unknown_calls for the mixed-document seam: exports is the callable surface of a bundled proven module (see proven_module_exports), whose names the imperative half calls by design (use proven::*;).