Redirecting to
../../../mithril_stm/struct.AggregateVerificationKey.html
...