module Eqn::Terminal