Skip to main content
parse_halmos_array_lengths
foundry_
config
1.7.2
In foundry_
config::
inline::
natspec
foundry_config
::
inline
::
natspec
Function
parse_
halmos_
array_
lengths
Copy item path
Source
fn parse_halmos_array_lengths(value: &
str
) ->
Result
<
HalmosArrayLengths
,
String
>