doc: document type of isl_access_info_alloc callback function

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

diff --git a/doc/user.pod b/doc/user.pod
index 5f7f3b3..a9734a9 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -2056,6 +2056,8 @@ then value based dependence analysis is performed.
 
        #include <isl_flow.h>
 
+       typedef int (*isl_access_level_before)(void *first, void *second);
+
        __isl_give isl_access_info *isl_access_info_alloc(
                __isl_take isl_map *sink,
                void *sink_user, isl_access_level_before fn,