let pp_hint fmt h =
  Format.fprintf fmt "%s%a" h.h_name pp_sigma h.h_sigma