Predicate mkElement
Get the Element
that represents this @element
.
Normally this will simply be a cast of e
, but sometimes it is not.
For example, for an incomplete struct e
the result may be a
complete struct with the same name.
Import path
import cpp