Commits

Anonymous committed 083eb01

+ String.tifull

Comments (0)

Files changed (1)

src/cd_Strings.ml

         value opt_hash : string -> int;
         value opt_show : string -> string;
         value ti : Cdt.ti string;
+        value tifull : Cdt.tifull string;
       end
     ;
 
         value ti = (ti_string :> ti _)
         ;
 
+        value tifull = ti_string
+        ;
+
       end
     ;