package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type plugin = string

exception Plugin_Not_Found of plugin * string list

val debug : Debug.flag

val load : ?dirs:string list -> plugin -> unit

type plu =

val check_plugin : plugin -> plu