FloatingPoint64.constant constructor

FloatingPoint64.constant(
  1. FloatingPoint64Value value, {
  2. String? name,
})

Constructs a binary64 constant from value.

Implementation

factory FloatingPoint64.constant(FloatingPoint64Value value,
        {String? name}) =>
    FloatingPoint64._(
        Const(value.sign), Const(value.exponent), Const(value.mantissa),
        name: name);