f -package:free

Render a floating point number using normal notation, with the given number of decimal places.
Format a Double using decimal notation with 6 digits of precision
>>> format f 25.1
"25.100000"
Uninterpreted function in the theorem
An uninterpreted function
Declare an uninterpreted function that works over Q's
Calculate the frequency of a note, with A corresponding to 220 Hz.
Arrays represented as foreign buffers in the C heap.
Generic type F. Can be used to test polymorphic functions with five type variables. This type is homomorphic to A, B, C, D, E and Nat6.
Helper type synonym