let leq printer1 printer2 ppf hs1 hs2 =
    fprintf ppf "@[%a < %a@]" 
      printer1 hs1
      printer2 hs2