-
Simon Peyton Jones authored
Rename mkTvSubst to mkOpenTvSubst; add new mkTvSubst
Simon Peyton Jones authoredRename mkTvSubst to mkOpenTvSubst; add new mkTvSubst
Loading
Rename mkTvSubst to mkOpenTvSubst; add new mkTvSubst
Rename mkTvSubst to mkOpenTvSubst; add new mkTvSubst