package Ġcom . dog s . states Ċ Ċ import Ġcom . dog s . contracts . Dog Currency Contract Ċ import Ġcom . r 3 . cord a . lib . tokens . contracts . states . E vol vable TokenType Ċ import Ġnet . cord a . core . contracts . Amount Ċ import Ġnet . cord a . core . contracts . Bel ongsTo Contract Ċ import Ġnet . cord a . core . contracts . Unique Identifier Ċ import Ġnet . cord a . core . identity . Party Ċ Ċ @ Bel ongsTo Contract ( Dog Currency Contract :: class ) Ċ class ĠDog Currency Ġ( ĊĠĠĠ Ġoverride Ġval Ġlinear Id : ĠUnique Identifier , ĊĠĠĠ Ġoverride Ġval Ġfraction Digits : ĠInt , ĊĠĠĠ Ġval Ġmaintainer : ĠParty , ĊĠĠĠ Ġoverride Ġval Ġmaintainers : ĠList < Party > Ġ= ĠlistOf ( maintainer ) Ċ ) Ġ: ĠE vol vable TokenType () Ċ