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