Module Frama_c_kernel.Win_dirs

val env_or_default : string -> string -> string option -> Filepath.t
val cache : unit -> Filepath.t
val config : unit -> Filepath.t
val state : unit -> Filepath.t