package Ġorg . softp ark . state ful 4 k . config . events Ċ Ċ import Ġorg . softp ark . state ful 4 k . config . states . I State Context Ċ Ċ public Ġinterface ĠI Event Context < C , Ġout ĠAS , Ġout ĠAE > Ġ: ĠI State Context < C , ĠAS > Ġ{ ĊĠĠĠ Ġval Ġevent : ĠAE Ċ } ĊĊ