package Ġdev . ust its . k ref ty . predicate . string Ċ Ċ import Ġio . kot est . core . spec . style . String Spec Ċ import Ġio . kot est . matchers . shouldBe Ċ import Ġio . kot est . property . Ar b Ċ import Ġio . kot est . property . ar bitrary . string Ċ import Ġio . kot est . property . for All Ċ Ċ class ĠEmpty Test Ġ: ĠString Spec ({ ĊĊĠĠĠ Ġ" returns Ġtrue Ġon Ġempty Ġvalue " Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġpredicate Ġ= ĠEmpty () ĊĠĠĠĠĠĠĠ Ġpredicate . is Ref ined ("") ĠshouldBe Ġtrue ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ" returns Ġfalse Ġon Ġnon Ġempty Ġvalues " Ġ{ ĊĠĠĠĠĠĠĠ Ġfor All ( Ar b . string ( min Size Ġ= Ġ 1 )) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ! Empty (). is Ref ined ( it ) ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ Ċ }) Ċ