candid::bindings::analysis
pub fn chase_types<'a>( env: &'a TypeEnv, tys: &'a [Type]) -> Result<Vec<&'a str>>