let pretty_node fmt n = let id = N.elem_id n in Format.fprintf fmt "[Elem] %d : " id; let key = N.elem_key n in pretty_key fmt key