// Class path Nettle.SHA3_512
PikeDoc.registerSymbol('Nettle.SHA3_512', PikeDoc.isInline)
.addChildren('class', [{"link":"ex/predef_3A_3A/Nettle/SHA3_512/State.html","modifiers":null,"name":"State"}])
.finish();