Propagate state names through ModuleContext's bind#1062

nanavati wants to merge 2 commits into

B-Lang-org:mainB-Lang-org/bsc:mainfrom

nanavati:modulecontext-namingnanavati/bsc:modulecontext-namingCopy head branch name to clipboard