type value = String of string | Integer of int