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