isFloat
lib.trivial.isFloat
Primop
Docs pulled from | This Revision | 22 minutes ago
Takes 1 arguments
e
Return true
if e evaluates to a float, and false
otherwise.
Takes 1 arguments
e
Return true
if e evaluates to a float, and false
otherwise.