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