equal
deleted
inserted
replaced
14 val approx_dec_by_bin : IntInf.int -> floatrep -> floatrep * floatrep |
14 val approx_dec_by_bin : IntInf.int -> floatrep -> floatrep * floatrep |
15 val approx_decstr_by_bin : int -> string -> floatrep * floatrep |
15 val approx_decstr_by_bin : int -> string -> floatrep * floatrep |
16 end |
16 end |
17 = |
17 = |
18 struct |
18 struct |
19 |
|
20 fun fst (a,b) = a |
|
21 fun snd (a,b) = b |
|
22 |
|
23 val filter = List.filter; |
|
24 |
19 |
25 exception Destruct_floatstr of string; |
20 exception Destruct_floatstr of string; |
26 |
21 |
27 fun destruct_floatstr isDigit isExp number = |
22 fun destruct_floatstr isDigit isExp number = |
28 let |
23 let |