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