sig val deep_copy : Nodeid_context.nodeid_context -> Nodeid.docid -> Dm.node Cursor.cursor -> Dm.node list end