Frama-C:
Plug-ins:
Libraries:

Frama-C API - Macos_dirs

val home : unit -> Fclib.Filepath.t
val env_or_default : string -> string list -> Fclib.Filepath.t
val cache : unit -> Fclib.Filepath.t
val config : unit -> Fclib.Filepath.t
val state : unit -> Fclib.Filepath.t