Typed Values Representation. This module defines types and utilities for representing values with different numeric types, including integers and floating-point numbers. It also provides functions for type checking, comparison, formatting, and conversion.
Representation options for value printing.
compare v1 v2 provides a total ordering over values of type t. It returns a negative integer if v1 is less than v2, zero if they are equal, and a positive integer if v1 is greater than v2.
val num_of_bool : bool -> tnum_of_bool b converts a boolean b into an integer value of type t. The exact representation depends on the system's convention, typically 1 for true and 0 for false.
val set_default_printer : printer -> unitset_default_printer p sets the default printer format for displaying values.
pp_no_type is a formatter that prints a value of type t without displaying its type.
val to_string : t -> stringto_string v converts the value v to a string representation.
val of_string : Ty.t -> string -> (t, [> `Msg of string ]) Smtml_prelude.resultof_string ty s attempts to parse the string s as a value of type ty. Returns Ok v on success, or an error message if parsing fails.
val to_json : t -> Yojson.Basic.tto_json v converts the value v into a JSON representation.