//
// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
//
// The contents of this file are covered under the licence agreement in the
// file "LICENCE" distributed with Cforall.
//
// abstype.c -- 
//
// Author           : Richard C. Bilson
// Created On       : Wed May 27 17:56:53 2015
// Last Modified By : Peter A. Buhr
// Last Modified On : Tue Jun 14 14:27:48 2016
// Update Count     : 9
//

otype T | { T x( T ); };

T y( T t ) {
	T t_instance;
	return x( t );
}

forall( otype T ) lvalue T *?( T * );
int ?++( int * );
int ?=?( int *, int );
forall( dtype DT ) DT * ?=?( DT **, DT * );

otype U = int *;

U x( U u ) {
	U u_instance = u;
	(*u)++;
	return u;
}

int *break_abstraction( U u ) {
	return u;
}

// Local Variables: //
// tab-width: 4 //
// compile-command: "cfa abstype.c" //
// End: //