In this section, we use the following source inv.hac as our input example.
defproc inv(bool a, b) { prs { a -> b- ~a -> b+ } } bool x, y; inv Z(x, y);
This defines an inverter process inv with public boolean ports a and b. The top-level declares boolean nodes x and y, which are connected to the ports of instantiated inverter Z.
A more comprehensive description of the language can be found built in dox/lang/hac.pdf or installed as /install/share/hackt/doc/pdf/hac.pdf.
TODO: fill in uses of example