Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/options_management.mli | ||
---|---|---|
4 | 4 |
|
5 | 5 |
val name_dependency: ('a * string) -> string -> string |
6 | 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 |
Also available in: Unified diff
another step towards refactoring