Searched refs:fetchMaxBackjumps (Results 1 – 4 of 4) sorted by relevance
209 maxBackjumps = fromFlag (fetchMaxBackjumps fetchFlags)
1005 fetchMaxBackjumps :: Flag Int, function1026 fetchMaxBackjumps = Flag defaultMaxBackjumps, function1089 fetchMaxBackjumps (\v flags -> flags { fetchMaxBackjumps = v }) function
205 maxBackjumps = fromFlag (fetchMaxBackjumps fetchFlags)
917 fetchMaxBackjumps :: Flag Int, function938 fetchMaxBackjumps = Flag defaultMaxBackjumps, function1001 fetchMaxBackjumps (\v flags -> flags { fetchMaxBackjumps = v }) function