sig
  type name = string
  type annotation = OBus_introspect.name * string
  type argument = OBus_introspect.name option * OBus_value.T.single
  type access = Read | Write | Read_write
  type member =
      Method of OBus_introspect.name * OBus_introspect.argument list *
        OBus_introspect.argument list * OBus_introspect.annotation list
    | Signal of OBus_introspect.name * OBus_introspect.argument list *
        OBus_introspect.annotation list
    | Property of OBus_introspect.name * OBus_value.T.single *
        OBus_introspect.access * OBus_introspect.annotation list
  type interface =
      OBus_introspect.name * OBus_introspect.member list *
      OBus_introspect.annotation list
  type node = OBus_path.element
  type document = OBus_introspect.interface list * OBus_introspect.node list
  exception Parse_failure of Xmlm.pos * string
  val input : Xmlm.input -> OBus_introspect.document
  val output : Xmlm.output -> OBus_introspect.document -> unit
  val deprecated : OBus_introspect.name
  val csymbol : OBus_introspect.name
  val no_reply : OBus_introspect.name
  val emits_changed_signal : OBus_introspect.name
end