Module Prover.Tmp


module Tmp: sig .. end

val tmp : int Pervasives.ref
val file : string -> string -> string