Module Config.Verification
type things_to_verify =
| Specific
| All
| ProcsOnly
| LemmasOnly
val procs_to_verify : string list Stdlib.ref
val lemmas_to_verify : string list Stdlib.ref
val set_procs_to_verify : string list -> unit
val set_lemmas_to_verify : string list -> unit