let
mk_part pid (k, n) = { pid
with
p_part =
Some
(k,n) }