Search GODI:
| File lib/ocaml/pkg-lib/galax/alg_analysis_context.cmi_pretty | GODI Package godi-galax |
| Library galax |
| alg_analysis_context.cmi_pretty | alg_analysis_context.mli | Sources |
type analysis_context = Alg_analysis_context.analysis_context val build_analysis_context : unit -> analysis_context val add_var_paths : analysis_context -> Xquery_common_ast.cvname -> Alg_path_struct.rooted_path_sequence -> analysis_context val get_var_paths : analysis_context -> Xquery_common_ast.cvname -> Alg_path_struct.rooted_path_sequence val set_input_tuple_paths : analysis_context -> (Xquery_common_ast.cvname * Alg_path_struct.rooted_path_sequence) list -> analysis_context val get_input_tuple_paths : analysis_context -> (Xquery_common_ast.cvname * Alg_path_struct.rooted_path_sequence) list
