import Base
import BetreeMain.Types
import BetreeMain.Opaque

namespace BetreeMain

def opaque_defs : OpaqueDefs := by sorry

end BetreeMain