Module Main_protocol.Internal_for_testsSource

Sourceval mutate_vi : verifier_inputs -> verifier_inputs option