(7steps) PrintForm Definitions bool 2 jlc Sections Support(jlc) Doc

At: assert of bool eq bfalse false 1 1

true true=false = false
By:
Unfold `eq_bool` 0
THEN
BoolEval
THEN
Rewrite (HigherC assert_evalC) 0
Generated subgoal:

1 True false = false

About:
boolbfalsebtrueassertequaltrue

(7steps) PrintForm Definitions bool 2 jlc Sections Support(jlc) Doc