package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val flag : Debug.flag

val def : kind:string -> Ident.ident -> unit

val use : kind:string -> Loc.position -> Ident.ident -> unit

val clear : string -> unit

type def_use =

val find : Loc.position -> Ident.ident * def_use * string