Frama-C API - Unix_dirs
val home : unit -> Filepath.tval env_or_default : string -> string list -> Filepath.tval cache : unit -> Filepath.tval config : unit -> Filepath.tval state : unit -> Filepath.t
Frama-C Frama-C Unix_dirsval home : unit -> Filepath.tval env_or_default : string -> string list -> Filepath.tval cache : unit -> Filepath.tval config : unit -> Filepath.tval state : unit -> Filepath.t