package Ġdev . ust its . k ref ty . predicate . maps Ċ Ċ 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 . map Ċ import Ġio . kot est . property . ar bitrary . string Ċ import Ġio . kot est . property . for All Ċ Ċ class ĠEmpty Test Ġ: ĠString Spec ({ ĊĊĠĠĠ Ġ" returns Ġtrue Ġif Ġmap Ġis Ġempty " Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġpredicate Ġ= ĠEmpty < Map < String , ĠString >>() ĊĠĠĠĠĠĠĠ Ġpredicate . is Ref ined ( empty Map ()) ĠshouldBe Ġtrue ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ" returns Ġfalse Ġif Ġmap Ġis Ġnot Ġempty " Ġ{ ĊĠĠĠĠĠĠĠ Ġfor All ( Ar b . map ( Ar b . string (), ĠA rb . string (), Ġmin Size Ġ= Ġ 1 )) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġpredicate Ġ= ĠEmpty < Map < String , ĠString >>() ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ! predicate . is Ref ined ( it ) ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ Ċ }) Ċ