let
is_top m = (m = top)