lustrec/src/options_management.mli @ a7062da6
1 |
val core_dependency: string -> string |
---|---|
2 |
val plugin_opt: string * (unit -> unit) * (Format.formatter -> unit) * |
3 |
(string * Arg.spec * string) list -> (string * Arg.spec * string) list |
4 |
|
5 |
val name_dependency: ('a * string) -> string -> string |
6 |
val get_witness_dir: string -> string |
7 |
|
8 |
val verifier_opt: string * (unit -> unit) * (string * Arg.spec * string) list -> (string * Arg.spec * string) list |