From 72e3b16bbd258e63f047392c973ba5e8f0a823c8 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Tue, 1 Jun 2021 13:11:58 +0200
Subject: Added export button in editor

---
 editor/forms/validation.mli | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 editor/forms/validation.mli

(limited to 'editor/forms/validation.mli')

diff --git a/editor/forms/validation.mli b/editor/forms/validation.mli
new file mode 100755
index 0000000..680b3ed
--- /dev/null
+++ b/editor/forms/validation.mli
@@ -0,0 +1,5 @@
+type t = unit
+
+val create
+  : Jstr.t -> t Note.signal * Brr.El.t
+
-- 
cgit v1.2.3