☰
In move_prover::cli
?
Static
move_prover
::
cli
::
DEFAULT_OPTIONS
source
·
[
−
]
pub static DEFAULT_OPTIONS: Lazy<
Options
>