package why3

Package contains no libraries

val ident_printer : Ident.ident_printer

val print_ident : Format.formatter -> Ident.ident -> unit

type info = {

}

val complex_type : Ty.Wty.key -> Ty.tysymbol

val print_type : info -> Format.formatter -> Ty.Mty.key -> unit

val print_type_value : info -> Format.formatter -> Ty.Mty.key option -> unit

val forget_var : Term.vsymbol -> unit

val print_var : Format.formatter -> Term.vsymbol -> unit

val print_typed_var : info -> Format.formatter -> Term.vsymbol -> unit

val print_var_list : info -> Format.formatter -> Term.vsymbol list -> unit

val number_format : Number.number_support

val print_term : info -> Term.term Pp.pp

val print_fmla : info -> Format.formatter -> Term.term -> unit

val print_type_decl : info -> Format.formatter -> Ty.tysymbol -> unit

val print_data_decl : 
  info ->
  Format.formatter ->
  (Ty.tysymbol * (Term.lsymbol * 'a list) list) ->
  unit

val print_param_decl : info -> Format.formatter -> Term.lsymbol -> unit

val print_decl : info -> Format.formatter -> Decl.decl -> unit

val print_decls : 
  ((Printer.syntax_map * Ty.ty Ty.Mty.t) * string list) Trans.trans

val print_task : 
  Printer.printer_args ->
  ?old:'a ->
  Format.formatter ->
  Task.task ->
  unit