Modules that provide a pretty printer will match S.
S
type t
val pp : Caml.Format.formatter ‑> t ‑> unit