Module Pattern.Builtin

module Builtin: sig .. end

type t = [ `False | `True ]