Simple combinational gates

The following specifies a number of combinational gates, where the process names correspond to the commonly used names for the gates.

defproc inverter (bool? i; bool! o)
{
  prs {
    i => o-
  }
}

defproc nand2 (bool? a, b; bool! c)
{
  prs {
    a & b => c-
  }
}

defproc nor2 (bool? a, b; bool! c)
{
  prs {
    a | b => c-
  }
}