diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-24 09:22:24 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2017-11-24 09:23:38 +0100 |
commit | a6b5a6bdd138a5ccc6827bcc73580df1e9218820 (patch) | |
tree | ff577395c1a5951a61a7234322f927f6ead5ee29 /cell.mli | |
parent | ecb6fd62c275af03a07d892313ab3914d81cd40e (diff) |
Moved all the code to src directory
Diffstat (limited to 'cell.mli')
-rwxr-xr-x | cell.mli | 20 |
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
-
|