let pretty_context kf fmt pid = begin pp_goal_kind fmt pid.p_kind ; Description.pp_localized ~kf:(`Context kf) ~ki:true fmt pid.p_prop ; pp_goal_part fmt pid.p_part ; end