aboutsummaryrefslogtreecommitdiff
path: root/cell.mli
diff options
context:
space:
mode:
Diffstat (limited to 'cell.mli')
-rwxr-xr-xcell.mli20
1 files changed, 0 insertions, 20 deletions
diff --git a/cell.mli b/cell.mli
deleted file mode 100755
index 8f225a5..0000000
--- a/cell.mli
+++ /dev/null
@@ -1,20 +0,0 @@
-type t = (int * int) * (bool * bool)
-
-module Set : sig
-
- include Set.S with type elt = (int * int)
-
- val printb: UTF8.Buffer.buffer -> t -> unit
-
-end
-
-val to_pair: t -> (int * int)
-
-val from_string: bool * string -> bool * int -> t
-
-val to_hname: int -> UTF8.t
-
-val to_string: t -> UTF8.t
-
-val to_buffer: UTF8.Buffer.buffer -> t -> unit
-