of_bool is used to generate two distinct values of type t, used in unit tests. It is required that of_bool false <> of_bool true.
of_bool
t
of_bool false <> of_bool true