Project

General

Profile

Revision 173a2a8f src/backends/Ada/ada_printer.mli

View differences:

src/backends/Ada/ada_printer.mli
37 37
val pp_access :  printer -> printer -> formatter -> unit
38 38
val pp_call : formatter -> (printer*(printer list list)) -> unit
39 39
val pp_old : printer -> printer
40
val pp_adastring : printer -> printer
41

  
42
val pp_or : (printer list) -> printer
43
val pp_and : (printer list) -> printer
40 44

  
41 45
(* declaration printer *)
42 46
val pp_package : printer -> printer list -> bool -> formatter -> printer -> unit
......
44 48
val pp_type_decl : printer -> visibility -> printer
45 49
val pp_record : printer -> formatter -> ada_var_decl list list -> unit
46 50
val pp_procedure : printer -> (ada_var_decl list list) -> ada_with -> formatter -> def_content -> unit
47
val pp_predicate : printer -> (ada_var_decl list list) -> formatter -> ((((printer*printer) list)*(printer list)) option) -> unit
48

  
51
val pp_predicate : printer -> (ada_var_decl list list) -> formatter -> (printer option) -> unit
49 52
(* Local function :
50 53

  
51 54
val pp_parameter_mode : formatter -> parameter_mode -> unit

Also available in: Unified diff