var class_pgsql_sql_util_1_1_pgsql_type =
[
    [ "name", "class_pgsql_sql_util_1_1_pgsql_type.html#a8af6fb3e407bfd1707a12847b5311936", null ],
    [ "src", "class_pgsql_sql_util_1_1_pgsql_type.html#a55072529813c473b9f623e0f5969df3d", null ]
];