let
equal : t
->
t
->
bool = ( = )