Nuprl Definition : ml-absval
ml-absval(x) == λx.if 0 <z x then x else -x fi (x)
Definitions occuring in Statement :
ml_apply: f(x),
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
lambda: λx.A[x],
minus: -n,
natural_number: $n
Definitions occuring in definition :
ml_apply: f(x),
lambda: λx.A[x],
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
natural_number: $n,
minus: -n
FDL editor aliases :
ml-absval
Latex:
ml-absval(x) == \mlambda{}x.if 0 <z x then x else -x fi (x)
Date html generated:
2017_09_29-PM-05_51_38
Last ObjectModification:
2017_05_22-PM-02_11_51
Theory : ML
Home
Index