module Fmap: sig .. end
sig
end
type t
val create : unit -> t
unit -> t
val get : t -> 'a Wp.Tactical.field -> 'a
t -> 'a Wp.Tactical.field -> 'a
raises Not_found if absent
val set : t -> 'a Wp.Tactical.field -> 'a -> unit
t -> 'a Wp.Tactical.field -> 'a -> unit