package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val intros : 
  ?known_map:Decl.known_map ->
  Decl.prsymbol ->
  Term.term ->
  Decl.decl list

val introduce_premises : Task.task Trans.trans

val simplify_intros : Task.task Trans.trans