Nuprl Definition : spsr
spsr(m) == let answer ⟵ <"display-as", "signed-rep", m, sparse-signed-rep(m)> in answer
Definitions occuring in Statement :
sparse-signed-rep: sparse-signed-rep(m),
callbyvalueall: callbyvalueall,
pair: <a, b>,
token: "$token"
Definitions occuring in definition :
callbyvalueall: callbyvalueall,
token: "$token",
pair: <a, b>,
sparse-signed-rep: sparse-signed-rep(m)
FDL editor aliases :
spsr
Latex:
spsr(m) == let answer \mleftarrow{}{} <"display-as", "signed-rep", m, sparse-signed-rep(m)> in answer
Date html generated:
2016_05_15-PM-06_33_46
Last ObjectModification:
2015_09_23-AM-08_03_58
Theory : general
Home
Index