let print_nd_and_mark f (nd, m) = let str = match nd with | T.CwNode -> "" | T.CwAddrDpds -> "addr->" | T.CwDataDpds -> "data->" | T.CwCtrlDpds -> "ctrl->" in Format.fprintf f "%s%a" str Marks.pretty_mark m