diff options
Diffstat (limited to 'editor/prosemirror/prosemirror.mli')
| -rwxr-xr-x | editor/prosemirror/prosemirror.mli | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/editor/prosemirror/prosemirror.mli b/editor/prosemirror/prosemirror.mli index 76545d2..9260af6 100755 --- a/editor/prosemirror/prosemirror.mli +++ b/editor/prosemirror/prosemirror.mli @@ -90,6 +90,13 @@ and Model : sig val schema : t -> schema_spec Js.t -> schema Js.t + module Mark : sig + + val set_from_mark + : t -> mark Js.t -> mark Js.t + + end + module DOMParser : sig type parser |