Skip to main content
halmos_arg
foundry_
config
1.7.2
In foundry_
config::
inline::
natspec
foundry_config
::
inline
::
natspec
Function
halmos_
arg
Copy item path
Source
fn halmos_arg(token: &
str
) ->
Option
<(
HalmosArg
,
Option
<&
str
>)>