Make_mcsat.Trail_elt
type t
= trail_elt
val of_lit : lit -> trail_elt
val of_atom : atom -> trail_elt
val debug : Format.formatter -> trail_elt -> unit