module type PRINT_CONFIG = sig ... endThe PRINT_CONFIG module type can be used to customise the behavior of the pretty-printer
module Printer (Config : PRINT_CONFIG) : sig ... endThe Printer functor defines the printing function based on the supplied printing configuration
val reformat : into_directory:string -> Ast_util.untyped_ast -> unitThis function is intended to reformat machine-generated Sail into something a bit more readable, it is not intended to be used as a general purpose code formatter. The output will be dumped as multiple files into the directory argument.
module Default_print_config : PRINT_CONFIGThe default PRINT_CONFIG sets all the options to false, so it prints the AST 'as is' without modifications.
For convenience, other modules can get the default behavior by just importing this module.
include sig ... endval 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.documentval output_ast :
?line_width:int ->
Stdlib.out_channel ->
Ast_util.untyped_ast ->
unitThis function is primarly used to dump the AST by debug options, such as --ddump-tc-ast.
module Document : sig ... endSome convenience functions for outputting PPrint documents