{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"defined_features:"}]}
        defined_features: &LibFeatures,
        remaining_implications: &mut UnordMap<Symbol, Symbol>,
        all_implications: &UnordMap<Symbol, Symbol>,