Documentation

traceComb :: Bool -> Word64 -> Comb -> Bool Source #

traceCombs :: Word64 -> Bool -> EnumMap Word64 Comb -> EnumMap Word64 Comb Source #

tracePretty :: Var v => PrettyPrintEnv -> Bool -> Term v -> Term v Source #

tracePrettyGroup :: Var v => Word64 -> Bool -> SuperGroup v -> SuperGroup v Source #

module Debug.Trace