let
varDefs:
VS
.t ref = ref
VS
.empty