Type Definition PredicateDeclarations
foliage
type PredicateDeclarations = BTreeSet<Rc<PredicateDeclaration>>;