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.