package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val clean_name : string -> string

val module_name : ?fname:string -> string list -> string -> string

module Translate : sig ... end

module RefreshLetBindings : sig ... end

module InlineFunctionCalls : sig ... end

module InlineProxyVars : sig ... end

module InlineTrivialLets : sig ... end

module Transform : sig ... end