From 28417d795a6922c3df3c2c0aea78a51648b0428e Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Mon, 7 Feb 2022 15:27:05 +0100 Subject: Added import button in editor --- editor/state/storage.mli | 3 +++ 1 file changed, 3 insertions(+) (limited to 'editor/state/storage.mli') diff --git a/editor/state/storage.mli b/editor/state/storage.mli index 50e164e..4d022d1 100755 --- a/editor/state/storage.mli +++ b/editor/state/storage.mli @@ -37,3 +37,6 @@ val get_ids val to_json : unit -> Jstr.t + +val of_json + : Jstr.t -> (unit, Jv.Error.t) result -- cgit v1.2.3