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