Skip to main content

serialize_resolved_fact_value_map

lemma::serialization

Function serialize_resolved_fact_value_map 

Source 
pub fn serialize_resolved_fact_value_map<S>(
    map: &IndexMap<FactPath, FactData>,
    serializer: S,
) -> Result<S::Ok, S::Error>
where
    S: Serializer,
Expand description

Serializes IndexMap<FactPath, FactData> as array of [FactPath, FactData] tuples.