Frama-C API - Win_dirs
val env_or_default : string -> string -> string option -> Fclib.Filepath.tval cache : unit -> Fclib.Filepath.tval config : unit -> Fclib.Filepath.tval state : unit -> Fclib.Filepath.t
Frama-C Frama-C Win_dirsval env_or_default : string -> string -> string option -> Fclib.Filepath.tval cache : unit -> Fclib.Filepath.tval config : unit -> Fclib.Filepath.tval state : unit -> Fclib.Filepath.t