diff options
Diffstat (limited to 'cell.mli')
-rwxr-xr-x | cell.mli | 20 |
1 files changed, 20 insertions, 0 deletions
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
+
|