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