let
of_equal e =
Equal
(e)