---

E#Rule ==
  Expression
   A:Type
   Name
   T:LimitedType
   P:T  
   Id  A  {v:T| (P v)} 
   (A  (Id List))

---

Definitions :  Id: Id,  list: type List,  function: x:A  B[x],  apply: f a,  assert: b,  set: {x:A| B[x]} ,  product: x:A  B[x],  bool: ,  limited-type: LimitedType,  name: Name,  universe: Type,  expression: Expression
FDL editor aliases :  esharp-rule

---

E\#Rule  ==
    Expression
    \mtimes{}  A:Type
    \mtimes{}  Name
    \mtimes{}  T:LimitedType
    \mtimes{}  P:T  {}\mrightarrow{}  \mBbbB{}
    \mtimes{}  Id  {}\mrightarrow{}  A  {}\mrightarrow{}  \{v:T|  \muparrow{}(P  v)\} 
    \mtimes{}  (A  {}\mrightarrow{}  (Id  List))


Date html generated: 2010_08_30-AM-12_58_26
Last ObjectModification: 2010_08_23-PM-01_19_26

Home Index