Modules -- a functional interface

  typedef int element; 
\fbox{ADT}
struct list; extern list* nil(); extern list* cons(element e, list* l); extern element head(list* l); extern list* tail(list* l); extern bool equal(list* l, list* m);

slide: Modules -- a functional interface