module Trace:sig
..end
type
t
val pretty : Format.formatter -> t -> unit
val bottom : t
val top : t
val join : t -> t -> t
val initial : Cil_types.kernel_function -> t
val add_disjunction : Property.t -> Cil_types.predicate Cil_types.named -> t -> t
val add_statement : Cil_types.stmt -> t -> t
val set_compute_trace : bool -> unit