Function verify 

pub fn verify<R: Resolver>(
    root: &str,
    resolver: &R,
) -> Result<Report, CompileError>

Parse → compile (resolving imports) → solve, given a Resolver.