package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val intro_projections_counterexmp : Env.env -> Task.task Trans.trans

val intro_const_equal_to_term : 
  term:Term.term ->
  id_new:Ident.preid ->
  axiom_name:string ->
  Decl.decl list