module Misc: sig .. end
sig
end
val navigator_id : unit -> JSOO.obj
unit -> JSOO.obj
val disable_selection : unit -> JSOO.obj