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 : Format.formatter -> (ac_handle, bool) Df_struct.dfgraph -> unit