sig type t val create : unit -> Wp.Tactical.Fmap.t val get : Wp.Tactical.Fmap.t -> 'a Wp.Tactical.field -> 'a val set : Wp.Tactical.Fmap.t -> 'a Wp.Tactical.field -> 'a -> unit end