;; buff-to-int-le
(define-read-only (radon-buff-to-int-le (input (buff 16)))
    (buff-to-int-le input)
)

;; buff-to-uint-le
(define-read-only (radon-buff-to-uint-le (input (buff 16)))
    (buff-to-uint-le input)
)

;; buff-to-int-be
(define-read-only (radon-buff-to-int-be (input (buff 16)))
    (buff-to-int-be input)
)

;; buff-to-uint-be
(define-read-only (radon-buff-to-uint-be (input (buff 16)))
    (buff-to-uint-be input)
)
    
;; is-standard
(define-read-only (radon-is-standard (input principal))
    (is-standard input)
)

;; principal-destruct?
(define-read-only (radon-principal-destruct? (input principal))
    (principal-destruct? input)
)

;; principal-construct? standard
(define-read-only (radon-principal-construct-standard? (version (buff 1)) (hashbytes (buff 20)))
    (principal-construct? version hashbytes)
)

;; principal-construct? contract
(define-read-only (radon-principal-construct-contract? (version (buff 1)) (hashbytes (buff 20)) (name (string-ascii 40)))
    (principal-construct? version hashbytes name)
)

;; string-to-int? ascii
(define-read-only (radon-string-ascii-to-int? (input (string-ascii 1024)))
    (string-to-int? input)
)

;; string-to-int? utf8
(define-read-only (radon-string-utf8-to-int? (input (string-utf8 1024)))
    (string-to-int? input)
)

;; string-to-uint? ascii
(define-read-only (radon-string-ascii-to-uint? (input (string-ascii 1024)))
    (string-to-uint? input)
)

;; string-to-uint utf8
(define-read-only (radon-string-utf8-to-uint? (input (string-utf8 1024)))
    (string-to-uint? input)
)

;; int-to-ascii int
(define-read-only (radon-int-to-ascii (input int))
    (int-to-ascii input)
)

;; int-to-ascii uint
(define-read-only (radon-uint-to-ascii (input uint))
    (int-to-ascii input)
)

;; int-to-utf8 int
(define-read-only (radon-int-to-utf8 (input int))
    (int-to-utf8 input)
)

;; int-to-utf8 uint
(define-read-only (radon-uint-to-utf8 (input uint))
    (int-to-utf8 input)
)

;; <= for buff
(define-read-only (radon-buff-le (a (buff 1024)) (b (buff 1024)))
    (<= a b)
)

;; <= for string-ascii
(define-read-only (radon-string-ascii-le (a (string-ascii 1024)) (b (string-ascii 1024)))
    (<= a b)
)

;; <= for string-utf8
(define-read-only (radon-string-utf8-le (a (string-utf8 1024)) (b (string-utf8 1024)))
    (<= a b)
)

;; < for buff
(define-read-only (radon-buff-lt (a (buff 1024)) (b (buff 1024)))
    (< a b)
)

;; < for string-ascii
(define-read-only (radon-string-ascii-lt (a (string-ascii 1024)) (b (string-ascii 1024)))
    (< a b)
)

;; < for string-utf8
(define-read-only (radon-string-utf8-lt (a (string-utf8 1024)) (b (string-utf8 1024)))
    (< a b)
)

;; >= for buff
(define-read-only (radon-buff-ge (a (buff 1024)) (b (buff 1024)))
    (>= a b)
)

;; >= for string-ascii
(define-read-only (radon-string-ascii-ge (a (string-ascii 1024)) (b (string-ascii 1024)))
    (>= a b)
)

;; >= for string-utf8
(define-read-only (radon-string-utf8-ge (a (string-utf8 1024)) (b (string-utf8 1024)))
    (>= a b)
)

;; > for buff
(define-read-only (radon-buff-gt (a (buff 1024)) (b (buff 1024)))
    (> a b)
)

;; > for string-ascii
(define-read-only (radon-string-ascii-gt (a (string-ascii 1024)) (b (string-ascii 1024)))
    (> a b)
)

;; > for string-utf8
(define-read-only (radon-string-utf8-gt (a (string-utf8 1024)) (b (string-utf8 1024)))
    (> a b)
)

;; principal-of?
(define-read-only (radon-principal-of? (input (buff 33)))
    (principal-of? input)
)

;; get-block-info? block-reward
(define-read-only (radon-get-block-info-reward? (height uint))
    (get-block-info? block-reward height)
)

;; get-block-info? miner-spend-total
(define-read-only (radon-get-block-info-miner-spend-total? (height uint))
    (get-block-info? miner-spend-total height)
)

;; get-block-info? miner-spend-winner
(define-read-only (radon-get-block-info-miner-spend-winner? (height uint))
    (get-block-info? miner-spend-winner height)
)

;; get-burn-block-info? header-hash
(define-read-only (radon-burn-block-info-header-hash? (height uint))
    (get-burn-block-info? header-hash height)
)

;; get-burn-block-info? pox-addrs
(define-read-only (radon-burn-block-info-pox-addrs? (height uint))
    (get-burn-block-info? pox-addrs height)
)
