functor (Pt : TermInner.PRINT) (Pty : TermInner.PRINT) ->
  sig val print : (Pt.t, Pty.t) Env.t Env.printer end