diff options
author | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 15:54:32 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 16:43:33 +0100 |
commit | f4a59ed2811d4dca2daad58d083078c01488dd11 (patch) | |
tree | 85a5ad0e6bf7bdd07834a5cf565d8a5992844f5f /editor/j/j.mli | |
parent | cdd83641518d9b20e81f71e6a30bfe73866df2e8 (diff) |
Added prosemirror deps
Diffstat (limited to 'editor/j/j.mli')
-rwxr-xr-x | editor/j/j.mli | 32 |
1 files changed, 0 insertions, 32 deletions
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 |