emptyCHRBackState | CHR.Solve.MonoBacktrackPrio |
emptyCHRGlobState | CHR.Solve.MonoBacktrackPrio |
emptyCHRMatchEnv | CHR.Types.Core |
emptyCHRStore | CHR.Solve.MonoBacktrackPrio |
emptyNmToVarMp | CHR.Types.Core, CHR.Types |
emptySolveTrace | CHR.Types |
emptyVarToNmMp | CHR.Types.Core |