#lang rosette/safe

(provide (all-defined-out))

(define bv64 (bitvector 64))

(define universe-size 4)

(define universe-size-bv (bv universe-size bv64))

(define asset-capacity 2)

  the actual algorand group capacity is 16 , use 4 here for performance
  need to update this number if the acutal use scenario requires more
  than 4 txns in a group
(define group-capacity 4)

(define algo-supply (bv 10000000000 bv64))

(define asset-supply-cap (bv 10000000000 bv64))

(define ledger-debug #f)

; for convenience
(define bv->nat bitvector->natural)

(define (uint v)
  (bv v bv64))

 for convenience
#lang rosette/safe

(provide (all-defined-out))

(define bv64 (bitvector 64))

(define universe-size 4)

(define universe-size-bv (bv universe-size bv64))

(define asset-capacity 2)

  the actual algorand group capacity is 16 , use 4 here for performance
  need to update this number if the acutal use scenario requires more
  than 4 txns in a group
(define group-capacity 4)

(define algo-supply (bv 10000000000 bv64))

(define asset-supply-cap (bv 10000000000 bv64))

(define ledger-debug #f)

(define bv->nat bitvector->natural)

(define (uint v)
  (bv v bv64))
