(module Js_boolean)