aboutsummaryrefslogtreecommitdiff
path: root/src/expressions/id_type.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2018-08-02 19:44:49 +0200
committerSébastien Dailly <sebastien@chimrod.com>2018-08-02 19:44:49 +0200
commitc20b6dd7533775eaed045950e04175b020ac52c4 (patch)
tree3b61fbfecd8d161808fb22b4c7f9b213335f9072 /src/expressions/id_type.ml
parenta0ea857685804735d60f19a166274745d8785e62 (diff)
Update expression evaluation
Diffstat (limited to 'src/expressions/id_type.ml')
-rw-r--r--src/expressions/id_type.ml15
1 files changed, 15 insertions, 0 deletions
diff --git a/src/expressions/id_type.ml b/src/expressions/id_type.ml
new file mode 100644
index 0000000..d84ddfa
--- /dev/null
+++ b/src/expressions/id_type.ml
@@ -0,0 +1,15 @@
+type 'a t = 'a ScTypes.Type.t
+
+type 'a obs = 'a ScTypes.Type.t
+
+let str s = ScTypes.Type.string s
+
+let num n = ScTypes.Type.number n
+
+let date d = ScTypes.Type.date d
+
+let bool b = ScTypes.Type.boolean b
+
+let observe x = x
+
+