The Printer functor defines the printing function based on the supplied printing configuration
module Config : PRINT_CONFIGval doc_id : Ast.id -> PPrint.documentval doc_typ : Ast.typ -> PPrint.documentval doc_binding : (Ast.typquant * Ast.typ) -> PPrint.documentval doc_typschm : Ast.typschm -> PPrint.documentval doc_exp : Ast_util.uannot Ast.exp -> PPrint.documentval doc_block : Ast_util.uannot Ast.exp list -> PPrint.documentval doc_letbind : Ast_util.uannot Ast.letbind -> PPrint.documentval doc_funcl : Ast_util.uannot Ast.funcl -> PPrint.documentval doc_mapcl : Ast_util.uannot Ast.mapcl -> PPrint.documentval doc_spec : Ast_util.uannot Ast.val_spec -> PPrint.documentval doc_type_def : Ast_util.uannot Ast.type_def -> PPrint.documentval doc_register : Ast_util.uannot Ast.dec_spec -> PPrint.documentval doc_def : Ast_util.untyped_def -> PPrint.document