- f -

• file_exists() : lean::io
• file_revision() : lean::io
• file_size() : lean::io
• find_property() : lean::properties
• find_sorted() : lean::functional
• float_to_char() : lean::io
• float_to_string() : lean::io
• from_range() : lean::strings