package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val ts_constructors : Pdecl.known_map -> Ty.tysymbol -> Decl.constructor list

val ty_constructors : Pdecl.known_map -> Ty.ty -> Decl.constructor list

val cs_fields : Pdecl.known_map -> Term.lsymbol -> Term.lsymbol option list

val select_field : Term.lsymbol -> Term.lsymbol option list -> 'a list -> 'a

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