encodeDouble

abstract fun encodeDouble(value: Double)(source)

Encodes a 64-bit IEEE 754 floating point value. Corresponding kind is PrimitiveKind.DOUBLE.