Module `Frama_c_kernel.Macos_dirs`

val home : unit -> Filepath.Normalized.t

val env_or_default : string -> string list -> Filepath.Normalized.t

val cache : unit -> Filepath.Normalized.t

val config : unit -> Filepath.Normalized.t

val state : unit -> Filepath.Normalized.t