sig
  val fold_over_cexpr :
    (Xquery_core_ast.acexpr -> 'b) ->
    ('a -> 'b -> 'a) -> 'a -> Xquery_core_ast.acexpr -> 'a
  val fold_over_cxtype :
    (Xquery_type_core_ast.cxtype -> 'b) ->
    ('a -> 'b -> 'a) -> 'a -> Xquery_type_core_ast.cxtype -> 'a
end