type 'a t
val equal : Base.bool t ‑> Base.bool t ‑> Base.bool
val of_bool : Base.bool ‑> Base.bool t