Module Labels.ConcurrentAssertionSource

Sourcetype t =
  1. | AssertProp
  2. | AssumeProp
  3. | CoverProp
  4. | CoverSeq
  5. | RestrictProp
Sourceval to_string : t -> string
Sourceval to_simple_string : t -> string
Sourceval to_tag : t -> string * 'a list