Module Wsdl

module Wsdl: sig .. end

type utf8_string = Cduce_lib.Encodings.Utf8.t

val wsdl_load : string -> Cduce_lib.Value.t

val wsdl_schema : Cduce_lib.Value.t -> Cduce_lib.Value.t option

type type_t =

`\|`	`Enumeration of utf8_string list`
`\|`	`Sequence of (utf8_string * utf8_string * bool * int * int) list`
`\|`	`Element of type_t`
`\|`	`Typedef of utf8_string`
`\|`	`Extension of utf8_string * type_t`
`\|`	`Unit`

val wsdl_types : Cduce_lib.Value.t -> (utf8_string * bool * type_t) list

type part =

`\|`	`PartType of utf8_string`
`\|`	`PartElement of utf8_string`

type message = part list

type operation = utf8_string * message option * message option *
       message list

type port_type = operation list

val wsdl_port_types : Cduce_lib.Value.t -> (utf8_string * port_type) list