Nuprl Definition : computed

Nuprl Definition : computed_display def

=d ==
  if b is a pair then let x,y = b
                      in if x="display-as"
                         then if y is a pair then let u,v = y

                                                  in if u="decimal-rational" then fst(v) else b fi  otherwise b

else b
fi otherwise b

Latex:
=d == if b is a pair then let x,y = b in if x="display-as" then if y is a pair then let u,v = y in if u="decimal-rational" then fst(v) else b fi otherwise b else b fi otherwise b Date html generated: 2016_05_13-PM-03_03_28 Last ObjectModification: 2015_09_22-PM-01_26_54 Theory : core_1 Home Index