* decimal-literal: * '0' * nonzero-digit digit-sequence_opt * integer-part fractional-part * fractional-part * integer-p

@brief return whether value is discarded @sa https://json.nlohmann.me/api/basic_json/is_discarded/

@brief return whether type is primitive @sa https://json.nlohmann.me/api/basic_json/is_primitive/

Getter that returns true if a subcommand is used. */

Getter that returns true for user-supplied options. Returns false if not * user-supplied, even with a default value. */

@brief helper to access iterator member functions in range-based for @sa https://json.nlohmann.me/api/basic_json/items/

@brief create a new JSON pointer by appending the right JSON pointer at the end of the left JSON pointer @sa https://json.nlohmann.me/api/json_pointer

create reverse iterator from iterator

! @param[in,out] r reference to a JSON value that is manipulated while parsing @param[in] allow_exceptions_ whether p

default constructor (for null values)

return the key of an object iterator

@brief applies a JSON Merge Patch @sa https://json.nlohmann.me/api/basic_json/merge_patch/

Move data from other to this buffer.

! @brief returns x * y @note The result is rounded. (Only the upper q bits are returned.) */

Returns the next digit group separator position.

! @brief check if the next byte(s) are inside a given range Adds the current byte and, for each passed range, reads a new byte and checks

! @brief normalize x such that the significand is >= 2^(q-1) @pre x.f != 0 */

! @brief normalize x such that the result has the exponent E @pre e >= x.e and the upper e - x.e bits of x.f must be zero. */