chan<val> ==  inl <chan, val> 
Definitions : 
inl: inl x , 
pair: <a, b>
FDL editor aliases : 
pisend
chan<val>  ==    inl  <chan,  val> 
Date html generated:
2010_08_27-PM-08_36_24
Last ObjectModification:
2010_02_11-PM-06_30_33
Home
Index