module Print (P1 : TermInner.PRINT) (P2 : TermInner.PRINT) : sig .. end
(
P1
:
TermInner.PRINT
)
P2
sig
end
val print : (P1.t, P2.t) Problem.t Problem.printer
(P1.t, P2.t) Problem.t Problem.printer