/usr/lib/ocaml/galax/print_xquery.mli is in libgalax-ocaml-dev 1.1-12.
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 | (***********************************************************************)
(* *)
(* GALAX *)
(* XQuery Engine *)
(* *)
(* Copyright 2001-2007. *)
(* Distributed only by permission. *)
(* *)
(***********************************************************************)
(* $Id: print_xquery.mli,v 1.4 2007/08/01 17:06:17 mff Exp $ *)
(* Module Print_xquery
Description:
This module implements pretty-printing for the XQuery AST.
*)
(******************)
(* Sequence types *)
(******************)
val print_sequencetype : Format.formatter -> Xquery_ast.sequencetype -> unit
(**********************)
(* XQuery expressions *)
(**********************)
val print_expr : Format.formatter -> Xquery_ast.expr -> unit
(**************)
(* Statements *)
(**************)
val print_statement : Format.formatter -> Xquery_ast.statement -> unit
(**********)
(* Module *)
(**********)
val print_interface : Format.formatter -> Xquery_ast.interface -> unit
val print_library_module : Format.formatter -> Xquery_ast.library_module -> unit
val print_main_module : Format.formatter -> Xquery_ast.main_module -> unit
val print_module : Format.formatter -> Xquery_ast.xmodule -> unit
val print_prolog : Format.formatter -> Xquery_ast.prolog -> unit
|