X-Git-Url: https://git.xandkar.net/?a=blobdiff_plain;f=v3%2Fsrc%2Flib%2Fkhatus_time.mli;fp=v3%2Fsrc%2Flib%2Fkhatus_time.mli;h=0000000000000000000000000000000000000000;hb=499c58a269a00e031302938b5a8f006f23aae451;hp=b6b5441ff529846a0c2efb698c5bc5e59fde370a;hpb=4c703fadbdc17d1753d16841582636598f862416;p=khatus.git

diff --git a/v3/src/lib/khatus_time.mli b/v3/src/lib/khatus_time.mli
deleted file mode 100644
index b6b5441..0000000
--- a/v3/src/lib/khatus_time.mli
+++ /dev/null
@@ -1,18 +0,0 @@
-module Span : sig
-  type t
-
-  val of_string : string -> t
-
-  val is_gt_or_eq : t -> t -> bool
-end
-
-type t
-
-val init : t
-
-val diff : t -> t -> Span.t
-
-val to_string : t -> string
-
-val of_string : string -> t
-(** Raises if string is not a number. *)