lustrec/src/backends/Ada/misc_printer.mli @ a7062da6
1 |
open Format |
---|---|
2 |
|
3 |
type printer = formatter -> unit |
4 |
|
5 |
val pp_str: string -> printer |
6 |
|
7 |
(** Print a filename by lowercasing the base and appending an extension. @param
|
8 |
extension the extension to append to the package name @param fmt the
|
9 |
formatter @param pp_name the file base name printer **)
|
10 |
val pp_filename: string -> formatter -> printer -> unit |
- « Previous
- 1
- …
- 15
- 16
- 17
- Next »