sig
type ac_hint =
ACHFor of Xquery_common_ast.cvname
| ACHLet of Xquery_common_ast.cvname
| ACHOrderby
| ACHWhere
| ACHTsclause of Xquery_common_ast.cvname
| ACHVar of Xquery_common_ast.cvname
type ac_handle = Xquery_core_ast.acexpr option * Df_analysis.ac_hint option
val df_analysis_of_xmodule :
Xquery_core_ast.acxmodule ->
(Df_analysis.ac_handle, bool) Df_struct.dfgraph
val print_dot_dfgraph :
Format.formatter ->
(Df_analysis.ac_handle, bool) Df_struct.dfgraph -> unit
end