Module Xquery_core_ast_annotation

module Xquery_core_ast_annotation: sig .. end

type ddo_annot = 
| Needs_docorder
| Needs_distinct
| Needs_distinct_docorder
| Needs_none
type scrambling_annot = 
| List
| Set
| Bag
type type_annot = Xquery_type_core_ast.cxtype 
type free_var_annot = Xquery_common_ast.cvname list 
type ast_annot 
val empty_ast_annot : unit -> ast_annot
val set_annotation : ast_annot ->
ast_annot -> unit
val annot_components : ast_annot ->
type_annot option *
ddo_annot option *
free_var_annot option *
scrambling_annot
val copy_annot : ast_annot -> ast_annot
val set_type_annot : ast_annot ->
type_annot -> unit
val get_type_annot : ast_annot -> type_annot
val set_ddo_annot : ast_annot ->
ddo_annot -> unit
val get_ddo_annot : ast_annot ->
ddo_annot option
val print_ddo_annot : ddo_annot -> string
val set_free_var_annot : ast_annot ->
free_var_annot -> unit
val get_free_var_annot : ast_annot ->
free_var_annot option
val print_free_var_annot : free_var_annot -> string
val set_scrambling_annot : ast_annot ->
scrambling_annot -> unit
val get_scrambling_annot : ast_annot ->
scrambling_annot
val print_scrambling_annot : scrambling_annot -> string