Skip to content

Instantly share code, notes, and snippets.

@kunigami

kunigami/bootstrappedHeap.ml

Created November 15, 2017 18:35
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/8a432f58c3814123cb170277afa4f855 to your computer and use it in GitHub Desktop.
Save kunigami/8a432f58c3814123cb170277afa4f855 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
bootstrappedHeap.ml
type 'a heap = Empty | Heap of 'a * ('a heap) PrimaryHeap.heap
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment