import jazz.circuit.*;
import jazz.circuit.esterel.*;

// Parse the Pure Esterel module named "simple.strl"
var module = Module.parse("simple.strl");

// Pretty-print the module
@ print("%a\n\n", module);

// Compile the module into a circuit
var circuit = module.compile();

// Instanciate the circuit in a device
device Circuit {
 input i: Net;
 input r: Net;
  
 output o: Net;
 
 o = circuit([i, r])[0];
}

// Export the device
export Circuit();