* this is a large commit

[helm.git] / helm / DEVEL / mathml_editor / ocaml / i_mathml_editor.ml

diff --git a/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml b/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
new file mode 100644 (file)
index 0000000..5019fbe
--- /dev/null
+++ b/helm/DEVEL/mathml_editor/ocaml/i_mathml_editor.ml
@@ -0,0 +1,35 @@
+
+type t
+
+external create : 
+  dictionary:[> `Document] GdomeT.t ->
+  mml: [> `Document] GdomeT.t -> 
+  tex: [> `Document] GdomeT.t ->
+  log:(string -> unit) ->
+  t
+  = "ml_mathml_editor_new"
+
+external freeze : editor:t -> bool
+  = "ml_mathml_editor_freeze"
+
+external thaw : editor:t -> bool
+  = "ml_mathml_editor_thaw"
+
+external reset : editor:t -> unit
+  = "ml_mathml_editor_reset"
+
+external push : editor:t -> ch:char -> unit
+  = "ml_mathml_editor_push"
+
+external drop : editor:t -> alt:bool -> unit
+  = "ml_mathml_editor_drop"
+
+external get_tex : editor:t -> string
+  = "ml_mathml_editor_get_tex"
+
+external get_tml : editor:t -> TDocument.t
+  = "ml_mathml_editor_get_tml"
+
+external get_mml : editor:t -> TDocument.t
+  = "ml_mathml_editor_get_mml"
+