inline recheck code in resolveproposition to clarify logic
[scpubgit/DX.git] / fragment.output / const
CommitLineData
11fecad8 1$ #trace +step +search
2$ const systems {{ agaton 'debian' sherlock 'debian' hatebox 'rhel' }}
3$ ?
4? member_at systems ?Name ?OS
5SetValue 0.Name 'agaton'
6BindValue 0.OS systems.agaton
7? eq OS 'debian'
8? ...
9{{ Name 'agaton' OS 'debian' }}
11fecad8 10{{ Name 'sherlock' OS 'debian' }}
11No next solution