Module Labels.GateSource

Sourcetype t =
  1. | Gate of gate
  2. | And
  3. | Buf
  4. | Nand
  5. | Nor
  6. | Not
  7. | Or
  8. | Xnor
  9. | Xor
  10. | Anonymous
Sourceval to_string : t -> string
Sourceval to_simple_string : t -> string
Sourceval gate_to_tag : gate -> string
Sourceval to_tag : t -> string * 'a list