Module Config.Verification

type things_to_verify =
  1. | Specific
  2. | All
  3. | ProcsOnly
  4. | LemmasOnly
val procs_to_verify : string list Stdlib.ref
val lemmas_to_verify : string list Stdlib.ref
val things_to_verify : things_to_verify Stdlib.ref
val set_procs_to_verify : string list -> unit
val set_lemmas_to_verify : string list -> unit