testsuite FunctionType Testsuite
topsort FunctionType

test Product priority against FunctionType
file functiontypes/product.vdm succeeds

test Product priority against Union
file functiontypes/union.vdm succeeds

test Product priority against Set
file functiontypes/set.vdm succeeds

test Product priority against Sequences
file functiontypes/seq.vdm succeeds

test Product priority against Seq1
file functiontypes/seq1.vdm succeeds

test Product Priority against map
file functiontypes/map.vdm succeeds