From f4a59ed2811d4dca2daad58d083078c01488dd11 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Mon, 7 Feb 2022 15:54:32 +0100 Subject: Added prosemirror deps --- editor/j/j.mli | 32 -------------------------------- 1 file changed, 32 deletions(-) delete mode 100755 editor/j/j.mli (limited to 'editor/j/j.mli') diff --git a/editor/j/j.mli b/editor/j/j.mli deleted file mode 100755 index 796bb9d..0000000 --- a/editor/j/j.mli +++ /dev/null @@ -1,32 +0,0 @@ -(** The type properties *) -type ('a, 'b) prop - -val prop - : string -> ('a, 'b) prop - -val get - : 'a -> ('a, 'b) prop -> 'b option - -val set - : 'a -> ('a, 'b) prop -> 'b -> unit - - -(* Arrays *) - -type 'a array - -val to_array - : 'a array -> 'a Array.t - -val of_array - : 'a Array.t -> 'a array - -(* Object constructor *) - -type 'a constr - -val c - : ('a, 'b) prop -> 'b -> 'a constr - -val obj - : 'a constr Array.t -> 'a -- cgit v1.2.3