sig
  val print_ckind_test :
    Stdlib.Format.formatter -> Xquery_core_ast.ckind_test -> unit
  val print_csequencetype :
    Stdlib.Format.formatter -> Xquery_core_ast.csequencetype -> unit
  val print_cexpr :
    Stdlib.Format.formatter ->
    Xquery_core_ast.acexpr ->
    (Stdlib.Format.formatter -> Xquery_core_ast_annotation.ast_annot -> unit) ->
    unit
  val print_cstatement :
    Stdlib.Format.formatter ->
    Xquery_core_ast.acstatement ->
    (Stdlib.Format.formatter -> Xquery_core_ast_annotation.ast_annot -> unit) ->
    unit
  val print_cprolog :
    Stdlib.Format.formatter ->
    Xquery_core_ast.acprolog ->
    (Stdlib.Format.formatter -> Xquery_core_ast_annotation.ast_annot -> unit) ->
    unit
  val print_cmodule :
    Stdlib.Format.formatter ->
    Xquery_core_ast.acxmodule ->
    (Stdlib.Format.formatter -> Xquery_core_ast_annotation.ast_annot -> unit) ->
    unit
end