Fmap
type t
val create : unit -> t
val get : t -> 'a field -> 'a
raises Not_found if absent
val set : t -> 'a field -> 'a -> unit
Frama-C