{"$DIR/json.rs":{"total":13,"with_docs":7,"with_examples":0}}