Sort.Flat
type t =
| Var of Var.id
| Genvar of var
| Univar of univar
| Base of base
A flat sort is returned from get.
get