package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

exception SyntaxError of string

val parse : Env.env -> Whyconf.config -> string -> Strategy.t