Module Sarek_interp.Sarek_value

type value =
  1. | VInt32 of int32
  2. | VInt64 of int64
  3. | VFloat32 of float
  4. | VFloat64 of float
  5. | VBool of bool
  6. | VUnit
  7. | VArray of value array
  8. | VRecord of string * value array
    (*

    type_name, fields

    *)
  9. | VVariant of string * int * value list
    (*

    type, tag, args

    *)

Type-safe runtime value representation for the interpreter.

val value_type_name : value -> string

Get human-readable type name for a value