LiberalEquality.dfy(22,14): Error: arguments must have the same type (got T and U)
LiberalEquality.dfy(23,14): Error: arguments must have the same type (got U and int)
LiberalEquality.dfy(31,14): Error: arguments must have the same type (got array<T> and array3<T>)
LiberalEquality.dfy(32,14): Error: arguments must have the same type (got array<int> and array3<int>)
LiberalEquality.dfy(33,14): Error: arguments must have the same type (got array<T> and array3<int>)
LiberalEquality.dfy(34,14): Error: arguments must have the same type (got array<int> and array3<T>)
LiberalEquality.dfy(42,14): Error: arguments must have the same type (got Weird<T,int,V> and Weird<T,bool,V>)
LiberalEquality.dfy(52,13): Error: arguments must have the same type (got Weird<T,bool,T> and Weird<T,int,T>)
LiberalEquality.dfy(61,14): Error: arguments must have the same type (got array<int> and array<bool>)
LiberalEquality.dfy(73,13): Error: arguments must have the same type (got T -> int and int -> int)
LiberalEquality.dfy(74,13): Error: arguments must have the same type (got int -> T and int -> int)
LiberalEquality.dfy(84,13): Error: arguments must have the same type (got Syn<int> and Syn<bool>)
LiberalEquality.dfy(95,13): Error: arguments must have the same type (got array<List<int>> and array<List<bool>>)
LiberalEquality.dfy(97,13): Error: arguments must have the same type (got array<List<bool>> and array<ListSynonym<T,int>>)
LiberalEquality.dfy(103,13): Error: arguments must have the same type (got array<List<bool>> and array<ListSynonym<real,Wrapper<int>>>)
15 resolution/type errors detected in LiberalEquality.dfy