Loading module Cryptol
Assuming a = 4
[0xb, 0xb, 0xb, 0xb, 0xb, 0xb, 0xb, 0xb, 0xb, 0xb]
[warning] at <interactive>:1:1--1:68:
  Defaulting type parameter 'bits'
             of finite enumeration
             at <interactive>:1:1--1:10
  to 4
True