let print fmt ty = match ty with | Tint -> fprintf fmt "int" | Treal -> fprintf fmt "real" | Tbool -> fprintf fmt "bool" | Tabstract s -> fprintf fmt "%s" (Hstring.view s) | Tsum (s, _) -> fprintf fmt "%s" (Hstring.view s)