Generated with

© 2002-2021 · LAMP/EPFL

© 2002-2021 · LAMP/EPFL

libretto-examples/libretto.examples.canteen/Protocol/Session

Session

libretto.examples.canteen.Protocol$.Session$

object Session

Attributes

Graph
Supertypes: class Object
trait Matchable
class Any
Self type: Session.type

Members list

Concise view

Value members

Concrete methods

Generated with

© 2002-2021 · LAMP/EPFL

© 2002-2021 · LAMP/EPFL