Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

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