File: program.mli

package info (click to toggle)
approx 5.10-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, sid
  • size: 340 kB
  • sloc: ml: 2,220; sh: 42; makefile: 32
file content (27 lines) | stat: -rw-r--r-- 760 bytes parent folder | download | duplicates (6)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
(* approx: proxy server for Debian archive files
   Copyright (C) 2011  Eric C. Cooper <ecc@cmu.edu>
   Released under the GNU General Public License *)

(* Return a descriptive message for an exception *)

val string_of_exception : exn -> string

(* Print a backtrace for an uncaught exception *)

val backtrace : unit -> unit

(* Call a procedure and print, but otherwise ignore, any exception *)

val perform : ('a -> unit) -> 'a -> unit

(* Run the main function of a program and print any uncaught exception *)

val main_program : ('a -> unit) -> 'a -> unit

(* Print on stderr and append a newline *)

val print : ('a, unit, string, unit) format4 -> 'a

(* Print a filename followed by a message on stderr *)

val file_message : string -> string -> unit