monadiccp-0.7.6: Constraint Programming
Control.Search.Combinator.Let
let' :: VarId -> Stat -> Search -> SearchSource
set' :: VarId -> Stat -> Search -> SearchSource