import Lake
open Lake DSL

package «BinaryHeap» where

@[default_target]
lean_lib «BinaryHeap» where