Type Alias ClosureTable 

pub type ClosureTable = HashMap<String, HashMap<String, Vec<String>>>;

The transitive closures ordered comparisons consult, keyed by the ordering property’s canonical URI, then by member: closures[property][from] is the set of members from reaches. Flat, already-closed data — typically the SDK reasoner’s prp-trp saturation emitted at code-generation time. The kernel does set membership only; it never computes a closure, resolves a package, or reasons.

Aliased Type

pub struct ClosureTable { /* private fields */ }