WhoCites Definitions mb events Sections GenAutomata Doc

Who Cites case lbl pair?
case_lbl_pairDef Case ptn_pr( < x, y > ) = > body(x;y) cont(x1,z) == InjCase(x1; _. cont(z,z); x2. InjCase(x2; _. cont(z,z); x2@0. InjCase(x2@0; _. cont(z,z); x2@1. x2@1/x3,x2@2. body(x3;x2@2))))

Syntax:Case ptn_pr( < x, y > ) = > body(x;y) cont has structure: case_lbl_pair(x,y.body(x;y); cont)

About:
spreaddecideapply!abstraction

WhoCites Definitions mb events Sections GenAutomata Doc