···11module Editor = Editor
22module Text = Text
33+module Stream = Stream
44+module Language = Language
35module Extension = Extension
+2
src/language.ml
···11+type t = Jv.t
22+include (Jv.Id : Jv.CONV with type t := t)
+3
src/language.mli
···11+type t
22+33+include Jv.CONV with type t := t
+10
src/stream.ml
···11+let g = Jv.get Jv.global "__CM__stream_parser"
22+33+module Language = struct
44+ type t = Jv.t
55+66+ let g = Jv.get g "StreamLanguage"
77+88+ let define (l : Language.t) =
99+ Jv.call g "define" [| Language.to_jv l |] |> Extension.of_jv
1010+end