module Pretty:sig
..end
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