f
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.
The "free monad" for a functor f.
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.