package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Module `WpContext.GeneratorID`Source

projectified, depend on the model, not serialized

Parameters

module K : Key

module D : IData with type key = K.t

Signature

Sourcetype key = D.key

Sourcetype data = D.data

Sourceval mem : key -> bool

Sourceval get : key -> data

Sourceval set : key -> data -> unit

Sourceval remove : key -> unit

Sourceval clear : unit -> unit