// Class path Arg.OptLibrary
PikeDoc.registerSymbol('Arg.OptLibrary', PikeDoc.isInline)
.addChildren('class', [{"link":"ex/predef_3A_3A/Arg/OptLibrary/Default.html","modifiers":null,"name":"Default"},{"link":"ex/predef_3A_3A/Arg/OptLibrary/Env.html","modifiers":null,"name":"Env"},{"link":"ex/predef_3A_3A/Arg/OptLibrary/HasOpt.html","modifiers":null,"name":"HasOpt"},{"link":"ex/predef_3A_3A/Arg/OptLibrary/MaybeOpt.html","modifiers":null,"name":"MaybeOpt"},{"link":"ex/predef_3A_3A/Arg/OptLibrary/NoOpt.html","modifiers":null,"name":"NoOpt"},{"link":"ex/predef_3A_3A/Arg/OptLibrary/Opt.html","modifiers":null,"name":"Opt"}])
.finish();