Redirecting to
../../mithril_stm/type.VerificationKeyForSnark.html
...