diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-31 04:21:01 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 16:43:33 +0100 |
commit | d17d17261faccb3eb42e91f88ca035e5b1730c66 (patch) | |
tree | 28424d286bda347aee77528ece79907026b2e35b /editor/j/j.mli | |
parent | 1961a9779b482cf9cbdb3365137c2e74423067c6 (diff) |
Bindings to prosemirror
Diffstat (limited to 'editor/j/j.mli')
-rwxr-xr-x | editor/j/j.mli | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/editor/j/j.mli b/editor/j/j.mli new file mode 100755 index 0000000..796bb9d --- /dev/null +++ b/editor/j/j.mli @@ -0,0 +1,32 @@ +(** 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 |