type t =
| Opaque |
| Unit |
| Int of int |
| Int64 of int64 |
| Bool of bool |
| String of string |
| Bytes of bytes |
| Char of char |
| Float of float |
| Option of t option |
| List of t list |
| Array of t array |
| Tuple of t list |
| Record of (string * t) list |
| Variant of string * t list |
| Map of (t * t) list |
| Set of t list |
val opaque : t
val compare : t -> t -> Ordering.t
val hash : t -> int
val to_string : t -> string
type dyn = t