package Ġco . se lim . eb service . core Ċ Ċ import Ġio . vertx . core . event bus . Message Ċ Ċ interface ĠEvent Bus Service Request < RequestType , ĠResponse Type > Ġ{ ĊĠ Ġval Ġbody : ĠRequest Type ĊĠ Ġfun Ġreply ( response : ĠResponse Type ) ĊĠ Ġoperator Ġfun Ġcomponent 1 (): ĠRequest Type Ġ= Ġbody ĊĠ Ġoperator Ġfun Ġcomponent 2 (): Ġ( ResponseType ) Ġ-> ĠUnit Ġ= Ġ:: reply Ċ } Ċ Ċ class ĠEvent Bus Service Request Impl < RequestType , ĠResponse Type >( ĊĠ Ġprivate Ġval Ġmessage : ĠMessage < RequestType > Ċ ) Ġ: ĠEvent Bus Service Request < RequestType , ĠResponse Type > Ġ{ ĊĠ Ġoverride Ġval Ġbody : ĠRequest Type Ġ= Ġmessage . body () ĊĊĠ Ġoverride Ġfun Ġreply ( response : ĠResponse Type ) Ġ{ ĊĠĠĠ Ġmessage . reply ( response , Ġdelivery Options ) ĊĠ Ġ} Ċ } Ċ