package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type value =

and field =

exception CannotReduce

exception Raised of Ity.xsymbol * value option * Expr.rsymbol list

val value_of_term : Decl.known_map -> Term.term -> value

val term_of_value : value -> Term.term

val interp : 
  Env.env ->
  Pmodule.pmodule Wstdlib.Mstr.t ->
  Expr.rsymbol ->
  value Ident.Mid.t ->
  value