package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `WpContext.StaticGeneratorID`Source

projectified, independent from the model, not serialized

module K : Key

module D : IData with type key = K.t

Sourcetype key = D.key

Sourcetype data = D.data

Sourceval mem : key -> bool

Sourceval get : key -> data

Sourceval set : key -> data -> unit

Sourceval find : key -> data

Sourceval remove : key -> unit

Sourceval clear : unit -> unit