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