let
pretty fmt x =
Format
.fprintf fmt
"%s#%d"
x.var_base x.var_vid