let equal printer ppf list =
    fprintf ppf "@[%a@]" (print_list printer " =") list