package z3

  1. Overview
  2. Docs
val open_ : string -> bool
val close : unit -> unit
val append : string -> unit