1. Dmitry Grebeniuk
  2. cadastr

Commits

Dmitry Grebeniuk  committed e9bf824

+Cdt.ti_unit

  • Participants
  • Parent commits d55f67f
  • Branches default

Comments (0)

Files changed (1)

File src/cdt.ml

View file
 value ti_string__base = new ti_string__baseclass;
 class ti_int__baseclass = ti_simple [int] "int";
 value ti_int__base = new ti_int__baseclass;
+class ti_unit__baseclass = ti_simple [unit] "unit";
+value ti_unit__base = new ti_unit__baseclass;
 
 (*****)
 
     ti_int__base
 ;
 
+value ti_unit : #tifull unit =
+  new tifull_on_tti
+    ~cmp:(fun () () -> EQ)
+    ~eq:(fun () () -> True)
+    ~hash:(fun () -> 0)
+    ~show:(fun () -> "()")
+    ti_unit__base
+;
+
 
 value bool_cmp (a : bool) b =
   match (a, b) with