Module Labels.DeferredImmediateAssertionSource

Sourcetype t =
  1. | Assert of string
  2. | Assume of string
  3. | Cover of string
  4. | Anonymous
Sourceval to_string : t -> string
Sourceval to_simple_string : t -> string
Sourceval to_tag : t -> string * 'a list