Module Binarytrace

val outc_trace : Stdlib.out_channel option Stdlib.ref

val marshal_flags : 'a list

val counter : int Stdlib.ref

val rejected : int Stdlib.ref

type trace_line =

1. | Node : {
   1. loc : 'a Syntax_tree.Location_identifier.t option;
   2. category : string;
   3. content : string;
   } -> trace_line
2. | Single : {
   1. severity : int;
   2. category : string;
   3. content : string;
   } -> trace_line
3. | Result of string option

module type S = sig ... end

module To_file : S

module In_Memory : S

include module type of struct include In_Memory end

val init : unit -> unit

val close : unit -> unit

val add_trace_to_file : string -> trace_line -> unit

val read_all_items : ?file:string -> unit -> trace_line list