var group__input__stream__function =
[
    [ "dump", "../../../lang/html/group__input__stream__function.html#ga9dd73e0f6b57496c3d849bbe0c054878", null ],
    [ "dump_bulk", "../../../lang/html/group__input__stream__function.html#ga5a81a1b0135b3850f4165cfe2b510afa", null ]
];