Contents:
front.scrap.binder_proposal_no_desc.
Binder
HasState
test_binder_simple
This work is to try to add ‘auto registering’ of bounded variables