sig
  type ('a, 'b) t = {
    interface : OBus_name.interface;
    member : OBus_name.member;
    i_args : 'OBus_value.arguments;
    o_args : 'OBus_value.arguments;
    annotations : OBus_introspect.annotation list;
  }
  val make :
    interface:OBus_name.interface ->
    member:OBus_name.member ->
    i_args:'OBus_value.arguments ->
    o_args:'OBus_value.arguments ->
    annotations:OBus_introspect.annotation list ->
    ('a, 'b) OBus_member.Method.t
  val interface : ('a, 'b) OBus_member.Method.t -> OBus_name.interface
  val member : ('a, 'b) OBus_member.Method.t -> OBus_name.member
  val i_args : ('a, 'b) OBus_member.Method.t -> 'OBus_value.arguments
  val o_args : ('a, 'b) OBus_member.Method.t -> 'OBus_value.arguments
  val annotations :
    ('a, 'b) OBus_member.Method.t -> OBus_introspect.annotation list
  val introspect : ('a, 'b) OBus_member.Method.t -> OBus_introspect.member
end