---

Pi_term ==
  rec(X.Unit + pre:pi_prefix()
                X + left:X  X + left:X  X + X + (name:Name  X))

---

Definitions :  rec: rec(x.A[x]),  unit: Unit,  pi_prefix: pi_prefix(),  union: left + right,  product: x:A  B[x],  name: Name
FDL editor aliases :  pi_term

---

Pi\_term  ==    rec(X.Unit  +  pre:pi\_prefix()  \mtimes{}  X  +  left:X  \mtimes{}  X  +  left:X  \mtimes{}  X  +  X  +  (name:Name  \mtimes{}  X))


Date html generated: 2010_08_27-PM-08_36_53
Last ObjectModification: 2010_02_11-PM-06_47_25

Home Index