diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-26 22:09:11 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-09-26 22:09:11 -0300 |
| commit | 320954996e921d7b34eb61f462799b5c6ab8ee09 (patch) | |
| tree | 16697bc161faf27f0b4c1ba57f6fcc24d240801b /lib/value.ml | |
| parent | b555c28c7e6c315fc0394baf213ecb08b21ed959 (diff) | |
| download | Sakura-320954996e921d7b34eb61f462799b5c6ab8ee09.tar.gz Sakura-320954996e921d7b34eb61f462799b5c6ab8ee09.zip | |
new shrunk API for RNT on sakura
Diffstat (limited to 'lib/value.ml')
| -rw-r--r-- | lib/value.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/value.ml b/lib/value.ml new file mode 100644 index 0000000..eb60b7d --- /dev/null +++ b/lib/value.ml @@ -0,0 +1,6 @@ +type t = String of string | Integer of int + +let to_string = function String s -> s | Integer n -> Int.to_string n + +let equal x y = + match x, y with String x, String y -> x = y | Integer x, Integer y -> x = y | _, _ -> false |