Module Wsdl_export

module Wsdl_export: sig .. end

@(#)wsdl_export.mli
Author(s): Nicola Onose

val wsdl_ast_to_xquery_ast_export : string ->
       Wsdl_ast.wsdl_module ->
       string option -> string option -> string -> string -> Xquery_ast.xmodule

val wsdl_to_xqfile_export : string ->
       string ->
       Wsdl_ast.wsdl_module ->
       string option -> string option -> string -> string option -> unit

Dumps directly to a file The first string is the name of the output file. The second string is the name of the namespace of the functions.