 
 (clojure.core/declare element) 
 
-(defn 
+(defn- 
   element-child
   "Relation of roots of the weaver world ProgramElement hierarchy."
   [?element ?child-element]

    (equals (IProgramElement$Kind/INTERFACE) (.getKind ?element))))


(defn
  elementenum
  [?element]
  (all
    (element ?element)
    (equals (IProgramElement$Kind/ENUM) (.getKind ?element))))

(defn
  elementtypedeclaration
  [?element]
  (conde

    (element ?element)
    (equals ?handle (.getHandleIdentifier ?element))))

(defn-
  element-sourcelocation
  "Relation between a ProgramElement and its SourceLocation."
  [?element ?handle]
