tree e25a2da3fa894685f6cd9bba36b5d0aa6380377a
parent 3f00d0b0df14d69859b15568ff28a810d08f59ea
author Behdad Esfahbod <behdad@behdad.org> 1536033011 -0700
committer Behdad Esfahbod <behdad@behdad.org> 1536096035 -0700

[subset] Implement subsetting of SingleSubst