aboutsummaryrefslogtreecommitdiff
path: root/sheet.mli
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2017-10-24 14:53:49 +0200
committerSébastien Dailly <sebastien@chimrod.com>2017-10-24 14:53:49 +0200
commitf5e87b564d4f465b4b752ccd49317008abf1030e (patch)
treee24a3f4edad3db1de06f77f3dafe444ec7c0de60 /sheet.mli
parente1e736840ed8c925e2ff442861963250a72d4385 (diff)
Rename a function
Diffstat (limited to 'sheet.mli')
-rwxr-xr-xsheet.mli4
1 files changed, 2 insertions, 2 deletions
diff --git a/sheet.mli b/sheet.mli
index 0762419..11881cc 100755
--- a/sheet.mli
+++ b/sheet.mli
@@ -6,8 +6,8 @@ module Raw: sig
type t
- (** Create a new sheet *)
- val create: t
+ (** An empty sheet *)
+ val empty: t
(** Add a new value in the sheet. The previous value is replaced
@return All the successors to update and the new sheet.