• Pietro Abate's avatar
    More var.ml cleanup · 737730a2
    Pietro Abate authored
    - Var identifiers are now of type U.t instead of string
    - Remove TVar from ast. Polymorphic variables are just types
    737730a2
var.mli 814 Bytes