package octez-plonk
val mutate_vi : verifier_inputs -> verifier_inputs optionmutate_vi vi returns None if vi is empty and Some vi' else. vi' is slightly different from vi
val mutate_vi : verifier_inputs -> verifier_inputs optionmutate_vi vi returns None if vi is empty and Some vi' else. vi' is slightly different from vi