libretto-examples
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto-examples/libretto.examples.canteen/Protocol/PaymentCard

PaymentCard

libretto.examples.canteen.Protocol$.PaymentCard$
object PaymentCard

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

def issue: Done -⚬ PaymentCard
def shred: PaymentCard -⚬ Done

Givens

Givens

Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL