Skip to main content

deserialize_fact_path_map

lemma::serialization

Function deserialize_fact_path_map 

Source 
pub fn deserialize_fact_path_map<'de, D>(
    deserializer: D,
) -> Result<HashMap<FactPath, LemmaFact>, D::Error>
where
    D: Deserializer<'de>,
Expand description

Custom deserializer for HashMap<FactPath, LemmaFact>

Deserializes string keys back to FactPath using FactPath::from_path().