package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val initialize : 
  ?extra_help:(Format.formatter -> unit -> unit) ->
  (string * Arg.spec * string) list ->
  (string -> unit) ->
  string ->
  config * config * Env.env

val exit_with_usage : 
  ?exit_code:int ->
  ?extra_help:(Format.formatter -> unit -> unit) ->
  (string * Arg.spec * string) list ->
  string ->
  'a