example-skeleton.go

//Definitely NOT valid go, just pseudocode

/** #SESSION TYPE
Buyer
Seller

Buyer.Send(Seller, "BUY")
End
*/

func main()
{
  if amActor "BUYER"
  doBuyer()
  else ifamActor "SELLER"
  doSeller()
  
}

func doBuyer()
{
  Send(Seller, 0 /*TODO fill in auto-generated value*/)
}

func doSeller()
{
  someBuf := []
  Recieve(Buyer, someBuf /*TODO fill in auto-generated value*/)
  //Auto-generated stub, do something with someBuf
}