Dal_common.Checkval profiles_typ : RPC.profiles Tezt_wrapper.Check.typval topics_peers_typ : (RPC.topic * string list) list Tezt_wrapper.Check.typval slot_header_typ : RPC.slot_header Tezt_wrapper.Check.typval slot_headers_typ : RPC.slot_header list Tezt_wrapper.Check.typ