sig
  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 Wsdl.utf8_string list
    | Sequence of
        (Wsdl.utf8_string * Wsdl.utf8_string * bool * int * int) list
    | Element of Wsdl.type_t
    | Typedef of Wsdl.utf8_string
    | Extension of Wsdl.utf8_string * Wsdl.type_t
    | Unit
  val wsdl_types :
    Cduce_lib.Value.t -> (Wsdl.utf8_string * bool * Wsdl.type_t) list
  type part = PartType of Wsdl.utf8_string | PartElement of Wsdl.utf8_string
  type message = Wsdl.part list
  type operation =
    Wsdl.utf8_string * Wsdl.message option * Wsdl.message option *
    Wsdl.message list
  type port_type = Wsdl.operation list
  val wsdl_port_types :
    Cduce_lib.Value.t -> (Wsdl.utf8_string * Wsdl.port_type) list
end