Redirecting to
../../openvm_sdk/struct.StdIn.html
...