package Ġcom . template . states Ċ Ċ import Ġcom . template . contracts . IO U Contract Ċ import Ġnet . cord a . core . contracts . Bel ongsTo Contract Ċ import Ġnet . cord a . core . contracts . Contract State Ċ import Ġnet . cord a . core . identity . Abstract Party Ċ import Ġnet . cord a . core . identity . Party Ċ Ċ // Ġ********* Ċ // Ġ* ĠState Ġ* Ċ // Ġ********* Ċ //@ Bel ongsTo Contract ( Template Contract :: class ) Ċ // data Ġclass ĠTemplate State ( val Ġdata : ĠString , Ġoverride Ġval Ġparticipants : ĠList < Abstract Party > Ġ= ĠlistOf ()) Ġ: ĠContract State Ċ @ Bel ongsTo Contract ( IO U Contract :: class ) Ċ class ĠIO U State ( val Ġvalue : ĠInt , Ġval Ġl ender : ĠParty , Ġval Ġborrow er : ĠParty , Ġval Ġitem Type : ĠString ) Ġ: ĠContract State Ġ{ ĊĠĠĠ Ġoverride Ġval Ġparticipants Ġget () Ġ= ĠlistOf ( l ender , Ġborrow er ) Ċ } ĊĊ