Module candid::bindings::analysis

Functions

chase_actor

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

chase_type

Same as chase_actor, with seen set as part of the type. Used for chasing type names from type definitions.

chase_types

infer_rec

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