- b -

• base : souffle::Trie< Dim > , souffle::Trie< 1u >
• bottom_factory_type : souffle::ast::analysis::Assignment< Var > , souffle::ast::analysis::property_space< T, meet_assign_op, bottom_factory, meet_op >