path: root/Test/test20/TypeSynonyms1.bpl.expect

TypeSynonyms1.bpl(48,8): Error: invalid type for argument 0 in application of h: <b>[b,b,<b2>[b2,b,int]int]int (expected: nested2)
1 type checking errors detected in TypeSynonyms1.bpl