package Ġasync Flow Invocation . State Ċ Ċ import Ġnet . cord a . core . contracts . Linear State Ċ import Ġnet . cord a . core . contracts . Unique Identifier Ċ import Ġnet . cord a . core . identity . Party Ċ Ċ data Ġclass ĠMessage State ( ĊĠĠĠ Ġval Ġsender : ĠParty , ĊĠĠĠ Ġval Ġrecipient : ĠParty , ĊĠĠĠ Ġval Ġcontents : ĠString , ĊĠĠĠ Ġoverride Ġval Ġlinear Id : ĠUnique Identifier Ġ= ĠUnique Identifier (), ĊĠĠĠ Ġoverride Ġval Ġparticipants : ĠList < Party > Ġ= ĠlistOf ( sender , Ġrecipient ) Ċ ) Ġ: ĠLinear State Ċ