Test/test0/Types1.bpl


1
2
3
4
5
6
7
8
9

// RUN: %boogie -noVerify %s > %t
// RUN: %diff %s.expect %t
type T, U;
type V;

function h(T) returns (int);
function k(x:T) returns (int);
function l(x) returns (int);  // resolve error
function m(x, x) returns (bool);  // resolve error