From 320954996e921d7b34eb61f462799b5c6ab8ee09 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 26 Sep 2026 22:09:11 -0300 Subject: new shrunk API for RNT on sakura --- lib/value.ml | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 lib/value.ml (limited to 'lib/value.ml') 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 -- cgit v1.2.3