sig
  type _int = int
  type _char = char
  type _string = string
  type _float = float
  type _bool = bool
  type _unit = unit
  type _exn = exn
  type 'a _array = 'a array
  type 'a _list = 'a list
  type 'a _option = 'a option = None | Some of 'a
  type _nativeint = nativeint
  type _int32 = int32
  type _int64 = int64
  type 'a _lazy_t = 'a lazy_t
  type _bytes = bytes
end