
DEFINITION MODULE MASSPEC;

(* MAS Sepcification Definition Module. *)


(* Import lists and declarations. *)

FROM MASSTOR IMPORT LIST; 


PROCEDURE EVALUATE(X: LIST; VAR ENV: LIST): LIST;
(*Lisp evaluator. X is an S-expression, ENV is an environment. *)


END MASSPEC.



