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 : tval compare : t -> t -> Ordering.tval hash : t -> intval to_string : t -> stringtype dyn = t