Function smir_crate

fn smir_crate<'tcx>(
    cx: &SmirCtxt<'tcx, BridgeTys>,
    crate_num: CrateNum,
) -> Crate