Multispool.Monitor provides consistency checks for a spool.
Multispool.Monitor
module type S : sig ... end