Skip to main content

fact_values_from_map

lemma::serialization

Function fact_values_from_map 

Source 
pub fn fact_values_from_map(
    map: HashMap<String, Value>,
) -> HashMap<String, String>
Expand description

Same string coercion as from_json, for maps already parsed as JSON values (e.g. WASM).