var group__wifi__socket__type =
[
    [ "ARM_SOCKET_SOCK_STREAM", "group__wifi__socket__type.html#ga9567d5735856190b2ae9cc39f68637f1", null ],
    [ "ARM_SOCKET_SOCK_DGRAM", "group__wifi__socket__type.html#gaced5f33eda2fc38a8303cd11a0d76fab", null ]
];