Function candid::bindings::analysis::infer_rec

pub fn infer_rec<'a>(
    env: &'a TypeEnv, 
    def_list: &'a [&'a str]
) -> Result<BTreeSet<&'a str>>

Given a def_list produced by the chase_actor function, infer which types are recursive