package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module type Protocol = sig ... end

val add_registered_lang : 
  string ->
  (Task.task -> Pretty.any_pp Pp.pp -> Pretty.any_pp Pp.pp) ->
  unit

val set_partial_config : Whyconf.config -> unit

module Make (_ : Controller_itp.Scheduler) (_ : Protocol) : sig ... end