type- and totality-checked clocked signal function sampling