right, the definition site just provides evidences...
# arrow-contributors
r
right, the definition site just provides evidences via
with
and the call sites shows proof of implementation in its imported scope.