helm/software/helena/src/lib/log.mli

   1 (*
   2     ||M||  This file is part of HELM, an Hypertextual, Electronic
   3     ||A||  Library of Mathematics, developed at the Computer Science
   4     ||T||  Department, University of Bologna, Italy.
   5     ||I||
   6     ||T||  HELM is free software; you can redistribute it and/or
   7     ||A||  modify it under the terms of the GNU General Public License
   8     \   /  version 2 or (at your option) any later version.
   9      \ /   This software is distributed as is, NO WARRANTY.
  10       V_______________________________________________________________ *)
  11
  12 type ('b, 'c) item = Term of 'b * 'c
  13                    | LEnv of 'b
  14                    | Warn of string
  15                    | Uri  of NUri.uri
  16
  17 type ('b, 'c) message = ('b, 'c) item list
  18
  19 type ('a, 'b, 'c) specs = {
  20    pp_term: 'a -> 'b -> out_channel -> 'c -> unit;
  21    pp_lenv: 'a -> out_channel -> 'b -> unit
  22 }
  23
  24 val specs: (unit, unit, unit) specs
  25
  26 val log: 'a -> ('a, 'b, 'c) specs -> int -> ('b, 'c) message -> unit
  27
  28 val error: 'a -> ('a, 'b, 'c) specs -> ('b, 'c) message -> unit
  29
  30 val items1: string -> ('b, 'c) message
  31
  32 val t_items1: string -> 'b -> 'c -> ('b, 'c) message
  33
  34 val et_items1:
  35    string -> 'b -> string -> 'c -> ('b, 'c) message
  36
  37 val et_items2:
  38    string -> 'b -> string -> 'c ->
  39    ?sc2:string -> ?c2:'b -> string -> 'c ->
  40    ('b, 'c) message
  41
  42 val et_items3:
  43    string -> 'b -> string -> 'c ->
  44    ?sc2:string -> ?c2:'b -> string -> 'c ->
  45    ?sc3:string -> ?c3:'b -> string -> 'c ->
  46    ('b, 'c) message
  47
  48 val warn: int -> string -> unit