c2rust_refactor::rewrite::json
pub fn encode_marks( krate: &Crate, node_id_map: &HashMap<NodeId, NodeId>, marks: &HashSet<(NodeId, Symbol)>) -> JsonValue