package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type vc_term_info = {

}

module TermCmp : sig ... end

module S : sig ... end

val add_model_element : Term.term -> S.t -> S.t

val check_enter_vc_term : Term.term -> bool -> vc_term_info -> unit

val check_exit_vc_term : Term.term -> bool -> vc_term_info -> unit

val update_info_labels : 
  string ->
  Ident.Sattr.t Wstdlib.Mstr.t ->
  Term.term ->
  Term.lsymbol ->
  Ident.Sattr.t Wstdlib.Mstr.t

val check_for_counterexample : Term.term -> bool