val default_tex_stylesheet_path : string
val create :
- dictionary:< as_Document : [> `Document] GdomeT.t; .. > ->
- mml:< as_Document : [> `Document] GdomeT.t; .. > ->
- tml:< as_Document : [> `Document] GdomeT.t; .. > ->
+ ?alt_lexer:bool ->
+ dictionary_uri: string ->
+ mml_uri: string ->
+ tml_uri: string ->
log:(int -> string -> unit) -> I_mathml_editor.t
val freeze : editor:I_mathml_editor.t -> bool