Type Definition ReadlineInner
rustpython::shell::readline
type ReadlineInner<'vm> = RustylineReadline<'vm>;