1 (* LinkedList.mg: a generic linked list (module) *) 2 3 GENERIC MODULE LinkedList(Element); 4 5 PROCEDURE Cons (READONLY head: Element.T; READONLY tail: T): T = 6 BEGIN 7 RETURN NEW(T, head := head, tail := tail); 8 END Cons; 9 10 BEGIN END LinkedList