var group___e_x_t_f_u_n__ =
[
    [ "EXTFUN_BASE", "group___e_x_t_f_u_n__.html#ga10db1b89a32d67a13cab2ed10ef7c4f4", null ],
    [ "EXTFUN_NORET", "group___e_x_t_f_u_n__.html#gaabef798d37532f260cb10152049bfb14", null ],
    [ "EXTFUN_SAFE", "group___e_x_t_f_u_n__.html#ga705e9ca1426c11f7883f09387d4acc35", null ]
];