module Print (Pt : TermInner.PRINT) (Pty : TermInner.PRINT) : sig .. end
val print_spec_defs : (Pt.t, Pty.t) Statement.spec_defs Statement.printer
val print_clause : (Pt.t, Pty.t) Statement.pred_clause Statement.printer
val print_clauses : (Pt.t, Pty.t) Statement.pred_clause list Statement.printer
val print_pred_def : (Pt.t, Pty.t) Statement.pred_def Statement.printer
val print_pred_defs : (Pt.t, Pty.t) Statement.pred_def list Statement.printer
val print_eqns : ID.t -> (Pt.t, Pty.t) Statement.equations Statement.printer
val print_rec_def : (Pt.t, Pty.t) Statement.rec_def Statement.printer
val print_rec_defs : (Pt.t, Pty.t) Statement.rec_def list Statement.printer
val print_tydef : Pty.t Statement.tydef Statement.printer
val print_tydefs : ([ `Codata | `Data ] * Pty.t Statement.tydef list) Statement.printer
val print_copy : (Pt.t, Pty.t) Statement.copy Statement.printer
val print : (Pt.t, Pty.t) Statement.t Statement.printer