package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type info = {

info_syn : Printer.syntax_map;
info_literal : Printer.syntax_map;
info_current_th : Theory.theory;
info_current_mo : Pmodule.pmodule option;
info_th_known_map : Decl.known_map;
info_mo_known_map : Pdecl.known_map;
info_fname : string option;
info_flat : bool;
info_prec : int list Ident.Mid.t;
info_current_ph : string list;

}

module Print : sig ... end

val print_decl : 
  Pdriver.printer_args ->
  ?old:in_channel ->
  ?fname:string ->
  flat:bool ->
  Pmodule.pmodule ->
  Format.formatter ->
  Mltree.decl ->
  unit

val ng : string -> ?fname:string -> Pmodule.pmodule -> string

val ocaml_printer : Pdriver.printer