(module Js_result)