Skip to main content
prompt_prover_backend
cargo_
airbender
0.1.0
In cargo_
airbender::
commands::
new::
args
cargo_airbender
::
commands
::
new
::
args
Function
prompt_
prover_
backend
Copy item path
Source
fn prompt_prover_backend( default:
NewProverBackendArg
, ) ->
Result
<
NewProverBackendArg
,
CliError
>