package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val sp_attr : Ident.attribute

val wp_attr : Ident.attribute

val kp_attr : Ident.attribute

val wb_attr : Ident.attribute

val nt_attr : Ident.attribute

val vc : 
  Env.env ->
  Pdecl.known_map ->
  Theory.theory_uc ->
  Pdecl.pdecl ->
  Pdecl.pdecl list