(module Js_option)