dist  : '-> '-> float = dist'