Frama-C:
Plug-ins:
Libraries:

Frama-C API - Mt_mutex

type value = Mt_utils.Value.t
type status =
  1. | Locked
  2. | Unlocked
module Register : sig ... end