Skip to main content

parse_halmos_array_lengths

foundry_config::inline

Function parse_halmos_array_lengths 

Source 
pub fn parse_halmos_array_lengths(
    value: &str,
) -> Result<HalmosArrayLengths, String>