Module Xquery_core_ast_annotation

module Xquery_core_ast_annotation: sig .. end

type ddo_annot = 

type scrambling_annot = 

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