testInfiniteSetOf

open override fun testInfiniteSetOf()

Same as testInfiniteFindAll, but with setof(N, nat(N), L) in place of findall/3.