Module Z3.Memory

module Memory: sig .. end

Memory management *


val reset : unit -> unit

Reset all allocated resources *