package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type lambda_match =

| Flam of Term.vsymbol list * Term.trigger * Term.term
| Tlam of Term.vsymbol list * Term.trigger * Term.term
| LNone

val destruct_lambda : Term.term -> lambda_match

val is_lambda : Term.term -> bool