vstd
In vstd::
prelude
vstd
::
prelude
Function
infer_spec_for_loop_iter
Copy item path
pub fn infer_spec_for_loop_iter<A>(_: A, _: A, _print_hint:
bool
) ->
Option
<A>