Skip to content

Add typing for get_flint

The typing looks to be used by ptpython autocompletion.

As result it is about 100x faster to type

flint().

Merge request reports