		Search-engine friendly clone of the ACL2 documentation.

Bech32

Bech32-index-of-last-1

Signature
(bech32-index-of-last-1 s) → idx
Arguments: s — Guard (stringp s).

Definitions and Theorems

Function: bech32-index-of-last-1

(defun bech32-index-of-last-1 (s)
  (declare (xargs :guard (stringp s)))
  (let ((__function__ 'bech32-index-of-last-1))
    (declare (ignorable __function__))
    (search "1" s :from-end t)))