Module Interpreter.Type

type t =
| Var of Base.string
| Bool
| Int
| Char
| String
| Tuple of t Base.list
val to_string : t -> Base.String.t