codex.binarytrace
Binarytrace
Type_parser
codex
codex.bdd
codex.cfg
codex.codex_config
codex.codex_log
codex.compressor
codex.condition_map
codex.datatype_sig
codex.domains
codex.emit_alarm
codex.extstdlib
codex.file_to_html
codex.fixpoint
codex.framac_ival
codex.gui
codex.hashing
codex.het-hashtbl
codex.hook
codex.int_builtins
codex.interval_map
codex.lattices
codex.online_nearest_common_ancestor_skiplist
codex.operator
codex.record_time
codex.single_value_abstraction
codex.smallmap
codex.smtbackend
codex.stats
codex.syntax_tree
codex.terms
codex.tracelog
codex.treemap
codex.types
codex.union_find
codex.units
codex.utils
codex.while_ast
codex.whilelib
immutable_array
interface
ppx_while
type_parse_tree
val outc_trace : out_channel option ref
val marshal_flags : 'a list
val counter : int ref
val rejected : int ref
type trace_line =
| Node : {
loc : 'a Syntax_tree.Location_identifier.t option;
category : string;
content : string;
} -> trace_line
| Single : {
severity : int;
| 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