Frama-C API - Macos_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 Macos_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