-external create :
- dictionary:[> `Document] GdomeT.t ->
- mml: [> `Document] GdomeT.t ->
- tex: [> `Document] GdomeT.t ->
+external get_default_dictionary_path : unit -> string
+ = "ml_mathml_editor_get_default_dictionary_path"
+
+external get_default_mathml_stylesheet_path : unit -> string
+ = "ml_mathml_editor_get_default_mathml_stylesheet_path"
+
+external get_default_tex_stylesheet_path : unit -> string
+ = "ml_mathml_editor_get_default_tex_stylesheet_path"
+
+external raw_create :
+ alt_lexer:bool ->
+ dictionary_uri: string ->
+ mml_uri: string ->
+ tml_uri: string ->