let
pp_goal_part fmt =
function
|
None
->
()
|
Some
(k,n)
->
Format
.fprintf fmt
" (%d/%d)"
(succ k) n