!declare proc {EqInCase Ls} case Ls of H|T = (A|B)|C then System.showInfo(got(H T A B C)) else System.showInfo(nothing) end end {EqInCase 1|2|3|4|nil}