Skip to content

Instantly share code, notes, and snippets.

@kunigami
Created July 9, 2017 02:02
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save kunigami/ee8b7e2ce7ee8c43e118236515f177d5 to your computer and use it in GitHub Desktop.
Save kunigami/ee8b7e2ce7ee8c43e118236515f177d5 to your computer and use it in GitHub Desktop.
(* Tuple *)
type 'a realTimeQueue = 'a stream * 'a list * 'a stream
(* Record *)
type 'a realTimeQueue = {
front: 'a stream;
rear: 'a list;
schedule: 'a stream
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment