chiark / gitweb /
Add a docstring to defbinding.