module Xquery_core_ast_annotation: sig
.. end
type
ddo_annot =
| |
Needs_docorder |
| |
Needs_distinct |
| |
Needs_distinct_docorder |
| |
Needs_none |
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