/usr/lib/ocaml/galax/debug.mli is in libgalax-ocaml-dev 1.1-15+b2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 | (***********************************************************************)
(* *)
(* GALAX *)
(* XQuery Engine *)
(* *)
(* Copyright 2001-2007. *)
(* Distributed only by permission. *)
(* *)
(***********************************************************************)
(* $Id: debug.mli,v 1.7 2007/09/13 18:36:42 simeon Exp $ *)
(* Module: Debug
Description:
This module implements basic operations used for debugging.
*)
type debug_flag =
| JoinDebug
| TypeDebug
| DefaultDebug
| CompileDebug
| StaticDebug
| DxqDebug
| MaterializationDebug
val print_join_debug : string -> unit
val print_dxq_debug : string -> unit
val print_materialization_debug : string -> unit
val print_typing_debug : string -> unit
val print_compile_debug : string -> unit
val print_static_debug : string -> unit
val print_default_debug : string -> unit
val sprintf_default_debug : ('a -> string, unit, string) format -> 'a -> unit
val set_debug : debug_flag list -> unit
val join_debug : unit -> bool
val typing_debug : unit -> bool
val dxq_debug : unit -> bool
val compile_debug : unit -> bool
val static_debug : unit -> bool
val materialization_debug : unit -> bool
val default_debug : unit -> bool
val debug_flag_of_string : string -> debug_flag
|