Redirecting to
../../mithril_stm/type.VerificationKeyForConcatenation.html
...