tree 9de605961ce165917943b20287058394b36c141e
parent 9d499fffe488eb1a510d3ebfeff1aa137a20550b
author Paul Berry <paulberry@google.com> 1529696660 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1529696660 +0000

Rename lemma to binder

Change-Id: I90e09158ef4bc6df13684d69543ea32a6cb05255
Reviewed-on: https://dart-review.googlesource.com/61960
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Reviewed-by: Brian Wilkerson <brianwilkerson@google.com>
Commit-Queue: Paul Berry <paulberry@google.com>