module Df_analysis_context:sig
..end
type ('a, 'b)
df_analysis_context
val build_df_analysis_context : unit -> ('a, 'b) df_analysis_context
val add_var_dfgraph : ('a, 'b) df_analysis_context ->
Xquery_common_ast.cvname ->
('a, 'b) Df_struct.dfgraph ->
('a, 'b) df_analysis_context
val get_var_dfgraph : ('a, 'b) df_analysis_context ->
Xquery_common_ast.cvname -> ('a, 'b) Df_struct.dfgraph