unit getline = {

imports[ console : Console_T ]; exports[ out : { getline } ]; ...

}