sig
  val pp_part : Format.formatter -> WpPropId.prop_id -> unit
  val pp_subprop : Format.formatter -> WpPropId.prop_id -> unit
  val pp_prop : Format.formatter -> WpPropId.prop_id -> unit
  val pp_local : Format.formatter -> WpPropId.prop_id -> unit
end