module CHR.Solve.MonoBacktrackPrio where

fun (Con {- c1 -} a b)
    = undefined