Simple evaluation of sequence type matching involving instance of and a sequence of integers. functx-functx-are-distinct-values-1.txt Simple evaluation of sequence type matching involving instance of and a sequence of integers. functx-functx-are-distinct-values-2.txt Simple evaluation of sequence type matching involving instance of and a sequence of integers. functx-functx-are-distinct-values-3.txt Simple evaluation of sequence type matching involving instance of and a sequence of integers. functx-functx-are-distinct-values-all.txt