PiDataVal() ==
Id + id:Id
Name + from:Id
(pi_prefix() List) + val:Name
+ Unit + Unit + Id ... + ...
Definitions :
list: type List,
pi_prefix: pi_prefix(),
unit: Unit,
union: left + right,
Id: Id,
product: x:A B[x],
name: Name,
nat:
FDL editor aliases :
PiDataVal
PiDataVal() ==
Id + id:Id \mtimes{} Name + from:Id
\mtimes{} (pi\_prefix() List) + val:Name
\mtimes{} \mBbbN{} + Unit + Unit + \mBbbN{} \mtimes{} Id \mtimes{} \mBbbN{} \mtimes{} Name + (rndv2:\mBbbN{}
\mtimes{} Id
\mtimes{} \mBbbN{}
\mtimes{} Name \mtimes{} \mBbbN{})
Date html generated:
2010_08_27-PM-08_42_30
Last ObjectModification:
2010_04_23-AM-11_29_19
Home
Index