Frama-C API - Share
Unless you are working in the kernel of Frama-C, you should not use this.
val dirs : Filepath.Normalized.t listDirectories where architecture-independent files are located, in order of priority.
val main : Filepath.Normalized.tLast directory of dirs (the directory of frama-c installation)
The colon-separated concatenation of dirs.
val libc : Filepath.Normalized.tDirectory where Frama-C libc headers are.