var a00023 =
[
    [ "int_type", "a00023.html#a42153aed1ee01299170ad8c61f1866da", null ],
    [ "off_type", "a00023.html#a0068f6292de77f0f5ff1aae3ed665c58", null ],
    [ "pos_type", "a00023.html#a21346ef14986d8b0ad641f90e2ca3757", null ],
    [ "state_type", "a00023.html#aed16446dd4f86793ff0ac389e4f808f1", null ]
];