Types

symbol

RES
type symbol

obj_val

RES
type obj_val

undefined_val

RES
type undefined_val

null_val

RES
type null_val

function_val

RES
type function_val

t

RES
type rec t<'a> =
  | Undefined: t<undefined_val>
  | Null: t<null_val>
  | Boolean: t<bool>
  | Number: t<float>
  | String: t<string>
  | Function: t<function_val>
  | Object: t<obj_val>
  | Symbol: t<symbol>

test

RES
let test: ('a, t<'b>) => bool

tagged_t

RES
type tagged_t =
  | JSFalse
  | JSTrue
  | JSNull
  | JSUndefined
  | JSNumber(float)
  | JSString(string)
  | JSFunction(function_val)
  | JSObject(obj_val)
  | JSSymbol(symbol)

classify

RES
let classify: 'a => tagged_t