 
 
 
-
 ;;todo:
 ;;take into account kinds of advice
 ;;implicit precedence, precedence assumption

       (equals ?resolvedtype (.getValue ?entry))))
 
;can be used to go from xcut to weaverworld types
(defn
  weaverworld-signature-resolvedtype
  "Non-relational. Unifies ?resolved-type with the type known to the AspectJ weaver

    (element ?element)
    (equals ?kind (.getKind ?element))))

;todo: check how this behaves for generic types, align with weaverworld-signature-resolvedtype
(defn
  element-signature
  "Relation between a ProgramElement and its signature string."
