reduce (and ... (member ...) ...)
a type designator such as (and (member 1 2 3 "a" "b" "c") String)
can be reduced to (member "a" "b" "c")
. Likewise (and (member 1 2 3 "a" "b" "c") (not String))
can be reduced to (member 1 2 3)
.
a type designator such as (and (member 1 2 3 "a" "b" "c") String)
can be reduced to (member "a" "b" "c")
. Likewise (and (member 1 2 3 "a" "b" "c") (not String))
can be reduced to (member 1 2 3)
.