Sourcemodule TosCheck : sig ... end

Terms of service checks.