Strin-nth
Peek at the nth character in the input stream.
- Signature
(strin-nth n x) → *
- Arguments
- n — Guard (natp n).
- x — Guard (strin-p x).
We just leave this enabled.
Definitions and Theorems
Function: strin-nth
(defun strin-nth (n x)
(declare (xargs :guard (and (natp n) (strin-p x))))
(let ((__function__ 'strin-nth))
(declare (ignorable __function__))
(nth n (strin-left x))))
