Commits

Dmitry Grebeniuk  committed 7698078

Cd_Typeinfo: t ?show ()

  • Participants
  • Parent commits 3b0ecd1

Comments (0)

Files changed (1)

File src/cd_Typeinfo.ml

     ;
 
 
+    value t = fun (type tt) ?show () ->
+    let (topt, tmod) = topt ?show () in
+    ((
+      object
+        method topt = topt;
+        method tmod = tmod;
+      end
+    ) : #t 'a)
+    ;
+
+
     value teq = fun (type tt) ?show ~eq () ->
     let (topt, tmod) = topt ?show ~eq () in
     ((