mark propositionless search states as solutions
[scpubgit/DX.git] / fragment.output / const
1 $ #trace +step +search
2 $ const systems {{ agaton 'debian' sherlock 'debian' hatebox 'rhel' }}
3 $ ?
4 ? member_at systems ?Name ?OS
5 SetValue 0.Name 'agaton'
6 BindValue 0.OS systems.agaton
7 ? eq OS 'debian'
8 ? ...
9 {{ Name 'agaton' OS 'debian' }}
10 {{ Name 'sherlock' OS 'debian' }}
11 No next solution