type: theory
files:
- name: src/Open1.kt
visible: true
- name: src/Open2.kt
- name: src/Closed.kt
- name: src/EvaluationOrder.kt