let state: t -> State.t = fun t -> t.history