Project

General

Profile

Download (406 Bytes) Statistics
| Branch: | Tag: | Revision:
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
(78-78/111)