Int16

16-bit signed integer type
16-bit signed integer type
Generates a random 16-bit integer in the given [inclusive,inclusive] range. This is a specialization of integral, offered for convenience.
Decode an Int16 from a Dhall Integer.
>>> input int16 "-42"
-42
Encode a 16-bit signed integer as 4 bytes.
Signed 16-bit integer.
Parse a LEB-128-zigzag-encoded signed number. If the encoded number is outside the range [-32768,32767], this fails with the provided error.
Construct a BV from an Int16.
Deserialize a signed 16-bit integer in serializer default byte order.
Serialize a signed 16-bit integer in serializer default byte order.
Int16# type
Decode JSON number to Int16
Encode JSON number to Int16
signed, 16-bit value