diff options
Diffstat (limited to 'editor/storage.mli')
| -rwxr-xr-x | editor/storage.mli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/editor/storage.mli b/editor/storage.mli index 7ae77a6..5b7e0a0 100755 --- a/editor/storage.mli +++ b/editor/storage.mli @@ -22,12 +22,12 @@ end The function [f] is called to identified which is the appropriate page id. *) val load - : (unit -> Jstr.t option) -> content Js.t + : Jstr.t option -> content Js.t val save - : check:(content Js.t -> bool) -> content Js.t -> (unit -> Jstr.t option) -> (bool, Jv.Error.t) result + : check:(content Js.t -> bool) -> content Js.t -> Jstr.t option -> (bool, Jv.Error.t) result -(** Remove the page from the storage and reload the page *) +(** Remove the page from the storage. *) val delete : (unit -> Jstr.t option) -> unit |