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