Js_types
type _ t =
| Undefined : undefined_val t
| Null : null_val t
| Boolean : bool t
| Number : float t
| String : string t
| Function : function_val t
| Object : obj_val t
| Symbol : symbol t
| BigInt : bigint_val t
val test : 'a -> 'b t -> bool
test "x" String = true
type tagged_t =
| JSFalse
| JSTrue
| JSNull
| JSUndefined
| JSNumber of float
| JSString of string
| JSFunction of function_val
| JSObject of obj_val
| JSSymbol of symbol
| JSBigInt of bigint_val
val classify : 'a -> tagged_t