Skip to main content

serialize_fact_path_set

lemma::serialization

Function serialize_fact_path_set 

Source 
pub fn serialize_fact_path_set<S>(
    set: &HashSet<FactPath>,
    serializer: S,
) -> Result<S::Ok, S::Error>
where
    S: Serializer,
Expand description

Custom serializer for HashSet

Serializes as a JSON array of strings using FactPath’s Display implementation.