var group__null__and__nothing__constants =
[
    [ "NOTHING", "../../../lang/html/group__null__and__nothing__constants.html#ga756badc783adcd6a850808b928e21af4", null ],
    [ "NULL", "../../../lang/html/group__null__and__nothing__constants.html#ga1805d277be60585d3f2a296c885cf334", null ]
];