package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val debug_parse_only : Debug.flag

val debug_type_only : Debug.flag

val type_mlw_file : 
  Env.env ->
  string list ->
  string ->
  Ptree.mlw_file ->
  Pmodule.pmodule Wstdlib.Mstr.t

val open_file : Env.env -> Env.pathname -> unit

val close_file : unit -> Pmodule.pmodule Wstdlib.Mstr.t

val discard_file : unit -> unit

val open_module : Ptree.ident -> unit

val close_module : Loc.position -> unit

val open_scope : Loc.position -> Ptree.ident -> unit

val close_scope : Loc.position -> import:bool -> unit

val add_decl : Loc.position -> Ptree.decl -> unit

val string_list_of_qualid : Ptree.qualid -> string list

val print_qualid : Format.formatter -> Ptree.qualid -> unit

val type_term_in_namespace : 
  Theory.namespace ->
  Decl.known_map ->
  Coercion.t ->
  Ptree.term ->
  Term.term

val type_fmla_in_namespace : 
  Theory.namespace ->
  Decl.known_map ->
  Coercion.t ->
  Ptree.term ->
  Term.term