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