DEFINITION MODULE Commands;  (* COMMANDS.DEF *)

EXPORT QUALIFIED add, delete, search, order;

PROCEDURE add(name:ARRAY OF CHAR;termch:CHAR);

PROCEDURE insert(ident:ARRAY OF CHAR);
  
PROCEDURE delete(ident:ARRAY OF CHAR);

PROCEDURE search(ident:ARRAY OF CHAR);
  
PROCEDURE order;
  
END Commands.
