type ('a, 'b) item = Term of 'a * 'b
| LEnv of 'a
| Warn of string
- | String of string
- | Loc
+ | Uri of NUri.uri
+ | Flush
type ('a, 'b) message = ('a, 'b) item list
type ('a, 'b) specs = {
- pp_term: 'a -> Format.formatter -> 'b -> unit;
- pp_lenv: Format.formatter -> 'a -> unit
+ pp_term: 'a -> out_channel -> 'b -> unit;
+ pp_lenv: out_channel -> 'a -> unit
}
-val loc: string ref
-
-val level: int ref
-
-val clear: unit -> unit
-
-val warn: string -> unit
-
-val box: int -> unit
-
-val unbox: int -> unit
-
-val flush: int -> unit
-
-val box_err: unit -> unit
-
-val flush_err: unit -> unit
+val specs: (unit, unit) specs
val log: ('a, 'b) specs -> int -> ('a, 'b) message -> unit
?sc2:string -> ?c2:'a -> string -> 'b ->
?sc3:string -> ?c3:'a -> string -> 'b ->
('a, 'b) message
+
+val warn: int -> string -> unit