ryanflorence

import React, {
  cloneElement,
  useState,
  useEffect,
  useRef,
  HTMLAttributes,
  ReactElement
} from "react";

////////////////////////////////////////////////////////////////////////////////

jaredly

let recv = (client, maxlen) => {
  let bytes = Bytes.create(maxlen);
  let len = Unix.recv(client, bytes, 0, maxlen, []);
  Bytes.sub_string(bytes, 0, len)
};

let parse_top = top => {
  let parts = Str.split(Str.regexp("[ \t]+"), top);
  switch (parts) {