package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val is_trusted_constructor : Pdecl.known_map -> Term.lsymbol -> bool

val is_trusted_projection : Pdecl.known_map -> Term.lsymbol -> Ity.ity -> bool

val inspect : Pdecl.known_map -> Term.term list -> Term.term list

val inject : Pdecl.known_map -> Term.term -> Term.term