S.Inspect
val get_map_update : t -> Sedap_types.Map_update_event.Payload.t
val get_full_map : t -> Sedap_types.Map_update_event.Payload.t
val dump_state : t -> Yojson.Safe.t