sig
  val file :
    id:string ->
    model:Model.model ->
    ?prover:VCS.prover -> ?suffix:string -> ext:string -> unit -> string
  val file_logout :
    pid:WpPropId.prop_id -> model:Model.model -> prover:VCS.prover -> string
  val file_logerr :
    pid:WpPropId.prop_id -> model:Model.model -> prover:VCS.prover -> string
  val file_goal :
    pid:WpPropId.prop_id -> model:Model.model -> prover:VCS.prover -> string
  val file_kf :
    kf:Cil_datatype.Kf.t -> model:Model.model -> prover:VCS.prover -> string
  val dump_file : Format.formatter -> string -> string -> unit
  val pretty :
    pid:WpPropId.prop_id ->
    model:Model.model ->
    prover:VCS.prover -> result:VCS.result -> Format.formatter -> unit
  val cache_log :
    pid:WpPropId.prop_id ->
    model:Model.model -> prover:VCS.prover -> result:VCS.result -> string
  val cache_descr : (Format.formatter -> 'a) -> string
end