module Wsdl_import:sig
..end
Interface for the Wsdl_import module which builds an XQuery AST from a wsdl AST.
Service namespace
WSDL AST
Chosen service
Chosen port
Author(s): Nicola Onose
val wsdl_ast_to_xquery_ast_import : string ->
Wsdl_ast.wsdl_module ->
string option -> string option -> Xquery_ast.library_module
val wsdl_to_xqfile_import : string ->
string -> Wsdl_ast.wsdl_module -> string option -> string option -> unit