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 --- src/cell.mli | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100755 src/cell.mli (limited to 'src/cell.mli') diff --git a/src/cell.mli b/src/cell.mli new file mode 100755 index 0000000..8f225a5 --- /dev/null +++ b/src/cell.mli @@ -0,0 +1,20 @@ +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