Commits

Anonymous committed 9b96d15

+Cdt.ti_ubox

Comments (0)

Files changed (1)

 value ti_int__base = new ti_int__baseclass;
 class ti_unit__baseclass = ti_simple [unit] "unit";
 value ti_unit__base = new ti_unit__baseclass;
+class ti_ubox__baseclass = ti_simple [ubox] "ubox";
+value ti_ubox__base = new ti_ubox__baseclass;
 
 (*****)
 
     ti_unit__base
 ;
 
+value ti_ubox : #tifull ubox =
+  new tifull_on_tti
+    ?cmp:None
+    ~eq:( ( == ) )
+    ?hash:None
+    ~show:(fun u -> Printf.sprintf "ubox(%s)" (show_struc u.ub_uti u))
+    ti_ubox__base
+;
+
 
 value bool_cmp (a : bool) b =
   match (a, b) with