typ vv = void

 fun f1(p1:(i:int, j:int)):int
 fun f2(p2:{i:int, j:int}):char
 fun f3(p3:{s1: {s21:{i:int, j: int}, s22:{i:int, j:int}}, s2:(i:int, j: int)}):bool
 fun f4(p4:vv):vv