/*
** Program: Clean Prover System
** Module:  Interpret (.dcl)
** 
** Author:  Maarten de Mol
** Created: 22 August 2000
*/

definition module 
   Interpret

import 
   States

startInterpreter	:: !*PState -> *PState