typename fix

[prop.git] / prop-src / list.ph

#ifndef list_operations_h
#define list_operations_h

#include "basics.ph"

template <class T> int length (List<T>);
template <class T> List<T> append (List<T>, List<T>);
template <class T> List<T> rev (List<T>);

#endif