package jazz.circuit.esterel;

//////////////////////////////////////////////////////////////////////////////
//
//                         Esterel statement
//
//////////////////////////////////////////////////////////////////////////////

import jazz.circuit.expr.*;

public abstract class Stmt {

  // Compilation of a statement in environment "env"
  compile(env: Env): BoolExpr;
  
}