The type t represents concrete values.

type_of v returns the type of the value v.

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.

equal v1 v2 returns true if v1 and v2 are equal, otherwise false.

map v f applies the function f to the value v. If v is a list, f is applied to each element.

let+ v f is a convenience operator for applying f to v.

pp fmt v pretty-prints the value v using the formatter fmt.

to_string v converts the value v to a string representation.

of_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.

to_json v converts the value v into a JSON representation.