module Log:sig
..end
Interaction logging for Z3 Note that this is a global, static log and if multiple Context objects are created, it logs the interaction with all of them.
val open_ : string -> bool
Open an interaction log file.
val close : unit -> unit
Closes the interaction log.
val append : string -> unit
Appends a user-provided string to the interaction log.