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

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

x@0:SimpleType. mk_dec(x, x@0) ds1 mk_dec(x, x@0) ds2
By: RW (SweepDnC (HypC -1)) 0
Generated subgoals:

None

About:
all

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