- i -

• info_log() : lean::logging
• initial_directory() : lean::io
• insert_last() : lean::functional
• int_to_char() : lean::io
• int_to_string() : lean::io
• is_alt_path_separator() : lean::io
• is_extension_separator() : lean::io
• is_path_separator() : lean::io
• is_redirection() : lean::io
• is_root_separator() : lean::io
• is_rooted() : lean::io
• is_type() : lean::types