sig val navigator_id : unit -> JSOO.obj val disable_selection : unit -> JSOO.obj val new_z_index : unit -> int val current_z_index : unit -> int end