var a00188 = [ [ "Int", "a00188.html#af02c7e5d997bd247bdb252ce9537a295", null ], [ "UInt", "a00188.html#aad4d80a31c855d3f6feb970627dce6e9", null ] ];
var a00188 = [ [ "Int", "a00188.html#af02c7e5d997bd247bdb252ce9537a295", null ], [ "UInt", "a00188.html#aad4d80a31c855d3f6feb970627dce6e9", null ] ];