Module EditorView.UpdateSource

Sourcetype t
include Jv.CONV with type t := t
Sourceval to_jv : t -> Jv.jv

to_jv reveals the JavaScript implementation.

Sourceval of_jv : Jv.jv -> t

of_jv hides the JavaScript implementation. Implementations usually do not guarantee type safety.