pub fn chase_actor<'a>(env: &'a TypeEnv, actor: &'a Type) -> Result<Vec<&'a str>>
Expand description

Gather type definitions mentioned in actor, return the non-recursive type names in topological order. Recursive types can appear in any order.