package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val intros : 
  Term.term ->
  Term.term list
  * Term.vsymbol list
  * (Term.vsymbol * Term.term) list
  * Term.term

val rewrite_list : 
  bool ->
  bool ->
  Decl.prsymbol list ->
  Decl.prsymbol option ->
  Task.task list Trans.trans

val term_decl : Theory.tdecl -> Term.term