Nuprl Definition : spread def
let x,y = A in B[x; y] == PRIMITIVE
Rules referencing :
productElimination,
spreadEquality,
callbyvalueSpread,
spreadExceptionCases,
existsFunctionality
Latex:
let x,y = A in B[x; y] == PRIMITIVE
Date html generated:
2016_05_13-PM-03_03_55
Last ObjectModification:
2006_01_26-PM-03_54_21
Theory : core_1
Home
Index