Module Xquery_core_ast_util

module Xquery_core_ast_util: sig .. end

val mkcpattern : Xquery_core_ast.cpattern_desc -> Xquery_core_ast.cpattern
val fmkcpattern : Xquery_core_ast.cpattern_desc -> Finfo.finfo -> Xquery_core_ast.cpattern
val mkcsequencetype : Xquery_core_ast.csequencetype_desc -> Xquery_core_ast.csequencetype
val fmkcsequencetype : Xquery_core_ast.csequencetype_desc ->
Finfo.finfo -> Xquery_core_ast.csequencetype
val fmkcexpr : Xquery_core_ast.acexpr_desc ->
Xquery_ast.expr_handle -> Finfo.finfo -> Xquery_core_ast.acexpr
val fmkacexpr : Xquery_core_ast.acexpr_desc ->
Xquery_core_ast_annotation.ast_annot ->
Xquery_ast.expr_handle -> Finfo.finfo -> Xquery_core_ast.acexpr
val fmkcfunction_def : Xquery_core_ast.acfunction_def_desc ->
Finfo.finfo -> Xquery_core_ast.acfunction_def
val fmkcvar_decl : Xquery_core_ast.acvar_decl_desc -> Finfo.finfo -> Xquery_core_ast.acvar_decl
val mkcpattern : Xquery_core_ast.cpattern_desc -> Xquery_core_ast.cpattern
val fmkcpattern : Xquery_core_ast.cpattern_desc -> Finfo.finfo -> Xquery_core_ast.cpattern
val mkcsequencetype : Xquery_core_ast.csequencetype_desc -> Xquery_core_ast.csequencetype
val fmkcsequencetype : Xquery_core_ast.csequencetype_desc ->
Finfo.finfo -> Xquery_core_ast.csequencetype
val fmkcexpr : Xquery_core_ast.acexpr_desc ->
Xquery_ast.expr_handle -> Finfo.finfo -> Xquery_core_ast.acexpr
val fmkacexpr : Xquery_core_ast.acexpr_desc ->
Xquery_core_ast_annotation.ast_annot ->
Xquery_ast.expr_handle -> Finfo.finfo -> Xquery_core_ast.acexpr
val fmkcfunction_def : Xquery_core_ast.acfunction_def_desc ->
Finfo.finfo -> Xquery_core_ast.acfunction_def
val fmkcvar_decl : Xquery_core_ast.acvar_decl_desc -> Finfo.finfo -> Xquery_core_ast.acvar_decl
val fmkcserver_decl : Xquery_core_ast.acserver_decl_desc ->
Finfo.finfo -> Xquery_core_ast.acserver_decl
val fmkcindex_def : Xquery_core_ast.acindex_def_desc ->
Finfo.finfo -> Xquery_core_ast.acindex_def
val fmkcprolog : Xquery_core_ast.acfunction_def list ->
Xquery_core_ast.acvar_decl list ->
Xquery_core_ast.acindex_def list -> Xquery_core_ast.acprolog
val fmkcmodule_from_library_module : Xquery_core_ast.acxmodule ->
Xquery_core_ast.acstatement list -> Xquery_core_ast.acxmodule
type cexpr_kind = 
| CEKUnordered
| CEKOrdered
| CEKFLWOR
| CEKOrderBy
| CEKIf
| CEKWhile
| CEKTypeswitch
| CEKVar
| CEKScalar
| CEKProtoValue
| CEKDocument
| CEKPI
| CEKPIComputed
| CEKComment
| CEKCommentComputed
| CEKText
| CEKCharRef
| CEKTextComputed
| CEKCall
| CEKOverloadedCall
| CEKSeq
| CEKEmpty
| CEKElem
| CEKAnyElem
| CEKAttr
| CEKAnyAttr
| CEKError
| CEKTreat
| CEKValidate
| CEKCast
| CEKCastable
| CEKAxis
| CEKSome
| CEKEvery
| CEKLetServerImplement
| CEKExecute
| CEKForServerClose
| CEKEvalClosure
| CEKCopy
| CEKDelete
| CEKDetach
| CEKInsert
| CEKRename
| CEKReplace
| CEKSnap
| CEKLetvar
| CEKSet
| CEKImperativeSeq
val get_cexpr_kind : Xquery_core_ast.acexpr -> cexpr_kind
val merge_cmodules : Xquery_core_ast.acxmodule ->
Xquery_core_ast.acxmodule -> Xquery_core_ast.acxmodule
val mkcvar : Xquery_common_ast.cvname ->
Xquery_ast.expr_handle -> Finfo.finfo -> Xquery_core_ast.acexpr
val cexpr_fs_dot : Xquery_ast.expr_handle -> Finfo.finfo -> Xquery_core_ast.acexpr
val cexpr_fs_sequence : Xquery_ast.expr_handle -> Finfo.finfo -> Xquery_core_ast.acexpr
val cexpr_fs_position : Xquery_ast.expr_handle -> Finfo.finfo -> Xquery_core_ast.acexpr
val cexpr_fs_last : Xquery_ast.expr_handle -> Finfo.finfo -> Xquery_core_ast.acexpr
val cexpr_empty : Xquery_ast.expr_handle -> Finfo.finfo -> Xquery_core_ast.acexpr
val map_to_sequence : Xquery_ast.expr_handle ->
Finfo.finfo -> Xquery_core_ast.acexpr list -> Xquery_core_ast.acexpr
val map_to_imperative_sequence : Xquery_ast.expr_handle ->
Finfo.finfo -> Xquery_core_ast.acexpr list -> Xquery_core_ast.acexpr
val all_cflwr_bindings : Xquery_core_ast.acfl_expr list -> Xquery_common_ast.cvname list
val make_let_flwor : Xquery_core_ast.acfl_expr list ->
Xquery_core_ast.acexpr ->
Xquery_core_ast_annotation.ast_annot ->
Xquery_ast.expr_handle -> Finfo.finfo -> Xquery_core_ast.acexpr
val make_for_flwor : Xquery_core_ast.acfl_expr list ->
Xquery_core_ast.acexpr ->
Xquery_core_ast_annotation.ast_annot ->
Xquery_ast.expr_handle -> Finfo.finfo -> Xquery_core_ast.acexpr
val remove_empty_textnodes : Xquery_core_ast.acexpr list -> Xquery_core_ast.acexpr list
val get_first_fl_clause : Xquery_core_ast.acexpr ->
Xquery_core_ast.acfl_expr option * Xquery_core_ast.acexpr
val add_first_fl_clause : Xquery_core_ast.acfl_expr -> Xquery_core_ast.acexpr -> Xquery_core_ast.acexpr
val build_flwor_from_fl_clauses : Xquery_core_ast.acfl_expr list ->
Xquery_core_ast.acexpr -> Xquery_core_ast.acexpr
val set_annotation_for_cexpr : Xquery_core_ast.acexpr -> Xquery_core_ast_annotation.ast_annot -> unit
val get_type_annotation_from_cexpr : Xquery_core_ast.acexpr -> Xquery_type_core_ast.cxtype
val set_type_annotation_for_cexpr : Xquery_core_ast.acexpr -> Xquery_type_core_ast.cxtype -> unit
val get_expr_from_insert_location : Xquery_core_ast.acinsert_location -> Xquery_core_ast.acexpr
val has_max_one : Xquery_core_ast.acexpr -> bool