let
right_destructor_skel printer ppf x =
fprintf ppf
"inter~(%a)"
printer x