package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Frama_c_kernel.Win_dirs`

val env_or_default : string -> string -> string option -> Filepath.t

val cache : unit -> Filepath.t

val config : unit -> Filepath.t

val state : unit -> Filepath.t