package Ġlab . mars . rl . model . impl . md p Ċ Ċ import Ġlab . mars . rl . model . Action Ċ import Ġlab . mars . rl . model . Possible Ċ import Ġlab . mars . rl . model . State Ċ Ċ class ĠDefault Action < out ĠE , Ġout ĠS : ĠState >( val Ġvalue : ĠE , Ġoverride Ġval Ġsample : Ġ() Ġ-> ĠPossible < S >): ĠAction < S >