Module Osiris.Print

val defs : Coq.defs -> PPrint.document

defs ds transforms the Coq definitions ds into a PPrint document.