package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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 fg_cml : ?fname:string -> Pmodule.pmodule -> string

val cml_printer : Pdriver.printer

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

val sml_printer : Pdriver.printer