Here is the following code
datatype temp = C of real | F of real; fun temp_to_f
t = case t of C x => x * (9.0 / 5.0) + 32.0 | F x
=> x;
What is the function of the function temp_to_f ? How to use this function
specifically?_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
