summaryrefslogtreecommitdiff
path: root/tests/lean/BetreeMain.lean
blob: 5f3078774b98dc836ce43e5998d28016f5db20b7 (plain)
1
import BetreeMain.Funs