Module Labels.AlwaysSpecSource

Sourcetype t =
  1. | NORMAL
  2. | COMB
  3. | FF
  4. | LATCH
Sourceval to_string : t -> string
Sourceval to_rep : t -> string