Function ensure 

fn ensure(
    dir: &Path,
    spec: &ModelSpec,
    cache: &DigestCache,
    on_progress: &mut (dyn FnMut(Progress) -> ControlFlow<()> + '_),
) -> Result<(), Error>