Module Z3.Log

val open_ : string -> bool
val close : unit -> unit
val append : string -> unit