First page Back Continue Last page Overview Graphics

The Essential ERTP

interface Issuer {
to vouchForAssay(candidate :Assay) :Assay
to makeEmptyPurse() :Purse
# subtypes will usually provide a
# to makeAssay(description...) :Assay
}
interface Assay {
to transfer(src :Purse, dest :Purse)
# subtypes will usually provide some form of
# to getDescription() :...
}
interface Purse {}