module Df_analysis:sig
..end
type
ac_hint =
| |
ACHFor of |
| |
ACHLet of |
| |
ACHOrderby |
| |
ACHWhere |
| |
ACHTsclause of |
| |
ACHVar of |
typeac_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