Concrete Values Module. This module defines types and utilities for working with concrete values, including integers, floats, strings, lists, and applications. It provides functions for type checking, comparison, mapping, and conversion to/from strings and JSON.
type t = | TrueBoolean true.
*)| FalseBoolean false.
*)| UnitUnit value.
*)| Int of intInteger value.
*)| Real of floatReal number value.
*)| Str of stringString value.
*)| Num of Num.tNumeric value.
*)| List of t listList of values.
*)| App : [> `Op of string ] * t list -> tApplication of an operator to a list of values.
*)| NothingRepresents an undefined or missing value.
*)The type t represents concrete values.
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.
map v f applies the function f to the value v. If v is a list, f is applied to each element.
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.