Bit:
Imports:
union

Parameters:

Body:
sort
  Bit
ops
  0 : Bit;
  1 : Bit;


Axioms: