Skip to main content

data_values_from_strings

lemma::serialization

Function data_values_from_strings 

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

Wrap convenience string maps (CLI forms, Engine::run call sites).