Commits

Anonymous committed b88734b

.

  • Participants
  • Parent commits c388961

Comments (0)

Files changed (1)

File src/cd_Num.ml

 
     include Num;
 
+    value zero = num_of_int 0;
+
   end
 ;