pub fn record_call(def: DefinitionId, name: String)
Record an external-kind call, attributed to def.
def