Nuprl Definition : comm-create

comm-create(c) ==  c.val


Definitions occuring in Statement :  tagged-val: x.val
FDL editor aliases :  comm-create
Latex:
comm-create(c)  ==    c.val


Date html generated: 2016_05_17-AM-10_23_13
Last ObjectModification: 2012_02_25-PM-03_37_43

Theory : process-model


Home Index