package Ġdev . ust its . k ref ty . predicate Ċ Ċ import Ġio . kot est . property . Ar b Ċ import Ġio . kot est . property . ar bitrary . filter Ċ import Ġio . kot est . property . ar bitrary . int Ċ Ċ fun Ġint Not EqualTo ( value : ĠInt ): ĠA rb < Int > Ġ{ ĊĠĠĠ Ġreturn ĠA rb . int (). filter Ġ{ Ġit Ġ!= Ġvalue Ġ} Ċ } Ċ