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