Nuprl Definition : create-component

create-component(t;P;x;Cs;L) ==  <[<x, P> / Cs], L>


Definitions occuring in Statement :  cons: [a / b],  pair: <a, b>
FDL editor aliases :  create-component
Latex:
create-component(t;P;x;Cs;L)  ==    <[<x,  P>  /  Cs],  L>


Date html generated: 2015_07_23-AM-11_09_07
Last ObjectModification: 2012_02_25-PM-03_39_40

Home Index