`sig
type t = private OBus_proxy.proxy
external of_proxy : OBus_proxy.proxy -> t = "%identity"
external to_proxy : t -> OBus_proxy.proxy = "%identity"
type state = [ `Activated | `Activating | `Unknown ]
val properties_changed :
t -> (string * OBus_value.V.single) list OBus_signal.t
val service_name : t -> string OBus_property.r
val connection : t -> Nm_settings.Connection.t OBus_property.r
val specific_object : t -> OBus_proxy.t OBus_property.r
val devices : t -> Nm_device.t list OBus_property.r
val state : t -> Nm_connection.state OBus_property.r
val default : t -> bool OBus_property.r
val vpn : t -> bool OBus_property.r
val properties : t -> OBus_property.group
end`