Function parse_halmos_length_set 

pub fn parse_halmos_length_set(
    value: &str,
    flag: &str,
) -> Result<Vec<u32>, String>