diff --git a/packages/Builtins/_.candy b/packages/Builtins/_.candy index 36e9ae242..85b633d0b 100644 --- a/packages/Builtins/_.candy +++ b/packages/Builtins/_.candy @@ -171,8 +171,9 @@ intBitLength value := # intBitLength -3 => 2 # ``` needs (value | typeIs Int) - ## Ensure `value` is non-negative. - needs (value | ✨.intAdd 1 | ✨.intCompareTo 0 | ✨.equals Greater) + needs + (value | ✨.intAdd 1 | ✨.intCompareTo 0 | ✨.equals Greater) + "Value must be non-negative" ✨.intBitLength value intBitwiseAnd a b :=