Predicate definitions::definition

Element definition(Element e, string kind)