-- SPDX-FileCopyrightText: 2026 Yuki Otsuka
--
-- SPDX-License-Identifier: BSD-3

import Proof.Visual
import Proof.PieceTable.Invariant
import Proof.PieceTable.Search.TwoWay