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