Module Wp_parameters.Output

val exists : unit -> bool
val get : unit -> Frama_c_kernel.Filepath.t
val get_dir : string -> Frama_c_kernel.Filepath.t
val mkdir : Frama_c_kernel.Filepath.t -> unit
val add_update_hook : (Frama_c_kernel.Filepath.t -> Frama_c_kernel.Filepath.t -> unit) -> unit