Data-Structures/SimpleLinkedList/SingleLinkedList.def

DEFINITION MODULE SingleLinkedList;

TYPE 
  List ;

VAR
  result : BOOLEAN;


(*
PROCEDURE SearchItem ( item : ; compare : PROC ) : BOOLEAN;

PROCEDURE Traverse (l : List; toDo : PROC);
*)
PROCEDURE Empty (l : List): BOOLEAN ;
(*
PROCEDURE RemoveItem (): BOOLEAN;

PROCEDURE AddItem (): BOOLEAN;
*)

PROCEDURE DeleteAllItems (l : List);

PROCEDURE Free (VAR l : List);

PROCEDURE Init (VAR l : List; mode : BOOLEAN ; p : PROC);
  
END SingleLinkedList.