Module Df_analysis

module Df_analysis: sig .. end

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 * ac_hint option 
val df_analysis_of_xmodule : Xquery_core_ast.acxmodule -> (ac_handle, bool) Df_struct.dfgraph
val print_dot_dfgraph : Stdlib.Format.formatter ->
(ac_handle, bool) Df_struct.dfgraph -> unit