• Andrei Paskevich's avatar
    whyml: several API simplifications · 9b75e276
    Andrei Paskevich authored
    - get rid of val_decl, the psymbol/pvsymbol is enough
    - get rid of vtv_vars, keep the varset in pvsymbol
    - include fresh regions in pd_news (will serve for clone)
    9b75e276
mlw_typing.ml 59.2 KB