Patrick Nicodemus patrick-nicodemus
patrick-nicodemus
/ stock_file_merge.ml
Created
March 16, 2026 16:11
Implementation of a leftist heap in OCaml following Okasaki; application to merge n sequences
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module LeftistHeap(O : Map.OrderedType) : sig | |
| type t (* The type of heaps. *) | |
| type elt = O.t | |
| val empty : t | |
| val push : elt -> t -> t | |
| (** Raises "Not_found" when empty. *) | |
| val pop : t -> elt * t |
patrick-nicodemus
/ clrs_heap.py
Created
March 16, 2026 16:13
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| class Heap: | |
| """ | |
| Fields: | |
| - list _heap | |
| """ | |
| def __init__(self): | |
| self._heap = [] |