(3steps) PrintForm Definitions mb automata 2 Sections GenAutomata Doc

At: dec lookup functionality 1
1. ds1: Collection(dec())
2. ds2: Collection(dec())
3. x: Label
4. ds1 = ds2

dec_lookup(ds1;x) = dec_lookup(ds2;x)
By:
Unfold `col_equal` 0
THEN
RWW "member_dec_lookup" 0
Generated subgoal:

1 x@0:SimpleType. mk_dec(x, x@0) ds1 mk_dec(x, x@0) ds2

About:
all

(3steps) PrintForm Definitions mb automata 2 Sections GenAutomata Doc