blob: c1a9f180f338b723f6bb997e95a2586d10bf366c (
plain) (
blame)
1
2
3
4
5
6
7
8
|
(** a tagged concrete value *)
type value = String of string | Integer of int
(** given a value, return a string representation of it *)
val to_string : value -> string
(** given two values, are they the same? *)
val equal : value -> value -> bool
|
