packaging

2022-02-11 02:35:06 +00:00
parent 6f6919f3f0
commit defc628204
7 changed files with 59 additions and 7 deletions
@@ -0,0 +1,10 @@
+:sig
+f64 float_val(String s)
+
+:params
+s : string to be converted
+return value : a f64 containing the number (0 if no number could be identified).
+
+:desc
+Extracts a floating point number from a String.
+