Function candid::bindings::analysis::infer_rec [−][src]
pub fn infer_rec<'a>(
env: &'a TypeEnv,
def_list: &'a [&'a str]
) -> Result<BTreeSet<&'a str>>
Expand description
Given a def_list
produced by the chase_actor
function, infer which types are recursive