From a6b5a6bdd138a5ccc6827bcc73580df1e9218820 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Fri, 24 Nov 2017 09:22:24 +0100 Subject: Moved all the code to src directory --- cell.mli | 20 -------------------- 1 file changed, 20 deletions(-) delete mode 100755 cell.mli (limited to 'cell.mli') 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 - -- cgit v1.2.3