# file: /Users/qiaoqian/work/PhysiClaw/src/physiclaw/conductor/spec/model.py
# hypothesis_version: 6.152.4

['AnchorDecl', 'MacroTap', 'NeverTap', 'Playbook | None', '_T', 'covered', 'elsewhere', 'handover', 'inputs', 'locked', 'payment', 'stop']