Snapshot (imandra-base.Imandra

type stamp = int

val pp_stamp : 
  Ppx_deriving_runtime.Format.formatter ->
  stamp ->
  Ppx_deriving_runtime.unit

val show_stamp : stamp -> Ppx_deriving_runtime.string

module Query : sig ... end

module Make (Snap : Imandra_util.Snapshot_sigs.S) : sig ... end

Helper to process the messages and propagate them to a Snapshot_sigs.S