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

At: assert of bool eq bfalse false 1 2

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

1 False true = false

About:
boolbfalsebtrueassertequalfalse

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