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