monadiccp-0.7.6: Constraint Programming
Control.Search.Combinator.If
if' :: Stat -> Search -> Search -> SearchSource