let
is_link x = implem.is_link x