From ef312564ca84a2b49fc291434d8fb2f8501bb618 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Tue, 15 Nov 2016 13:00:01 +0100 Subject: Initial commit --- cell.mli | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100755 cell.mli (limited to 'cell.mli') diff --git a/cell.mli b/cell.mli new file mode 100755 index 0000000..621fc3b --- /dev/null +++ b/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 * Num.num -> 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