var dsplint_8c =
[
    [ "MAX", "dsplint_8c.html#afa99ec4acc4ecb2dc3c2d05da15d0e3f", null ],
    [ "MIN", "dsplint_8c.html#a3acffbd305ee72dcd4593c0d8af64a4f", null ],
    [ "dsplint", "dsplint_8c.html#a6607655d3738a428ae5f8f2372e87271", null ]
];