Cairn · module

Cairn.Frame.Layout

lean/Cairn/Frame/Layout.lean

Frame.ofLaid composed with layout. Kept apart from Cairn.Frame.Build, which is a module the host links, so that Build needs only the vocabulary of layout (Layout.Facts), not its proofs.

Imports Cairn.Frame.Build, Cairn.Layout.Proofs

Order

Theorems 1

theorem

Cairn.Frame.controls_ofLaid_layout

provedlean/Cairn/Frame/Layout.lean:11

controls_ofLaid_layout (ui : UI) (m : TextMetrics) (w : Size) (n : Node) :
  List.filterMap AxNode.control (ofLaid ui (Layout.layout m w n)).ax.toList =
    List.map Control.ref n.controls

Composed with layout: the accessibility tree has exactly the view's controls, in order.