let
pp_id_name fmt pid =
Format
.fprintf fmt
"%s"
(prop_id_name pid)