Module Main_protocol.Internal_for_tests

val mutate_vi : verifier_inputs -> verifier_inputs option