模組 Format

module Format: sig .. end

簡介

您可以將此模組視為提供 printf 機制的延伸，以提供自動換行。將美觀列印註釋新增到您的常規 printf 格式字串，即可提供精美的縮排和換行。美觀列印註釋在函式 Format.fprintf 的文件中描述如下。

您也可以使用此模組提供的明確美觀列印方塊管理和列印函式。這種樣式比簡潔的 fprintf 格式字串更基本，但也更冗長。

例如，序列 open_box 0; print_string "x ="; print_space ();
    print_int 1; close_box (); print_newline () 在美觀列印方塊中列印 x = 1，可以縮寫為 printf "@[%s@ %i@]@." "x =" 1，甚至更短的 printf "@[x =@ %i@]@." 1。

此函式庫的臨時使用者需遵循的原則

• 使用簡單的美觀列印方塊（如透過 open_box 0 取得的）；
• 使用簡單的換行提示，如透過 print_cut () 輸出簡單的換行提示，或透過 print_space () 輸出表示換行提示的空格而取得的；
• 開啟美觀列印方塊後，使用基本列印函式（例如 print_int 和 print_string）顯示其內容；
• 列印美觀列印方塊的內容後，呼叫 close_box () 以關閉方塊；
• 在美觀列印結束時，清除美觀列印器以顯示所有剩餘的內容，例如評估 print_newline ()。

如果沒有開啟的美觀列印方塊，則美觀列印命令的行為是不明確的。由以下 open_ 函式之一開啟的每個方塊都必須使用 close_box 關閉，才能正確格式化。否則，方塊中列印的某些內容可能不會輸出，或者可能格式不正確。

在互動式使用時，每個短語都會在標準美觀列印器的初始狀態下執行：在每個短語執行之後，互動式系統會關閉所有開啟的美觀列印方塊、清除所有擱置的文字，並重設標準美觀列印器。

警告：將此模組的美觀列印函式呼叫與對 Stdlib 低階輸出函式的呼叫混合使用容易出錯。

美觀列印函式輸出的內容會延遲在美觀列印器佇列中，並堆疊以計算正確的換行。相反地，基本 I/O 輸出函式會直接寫入其輸出裝置。因此，基本 I/O 函式的輸出可能會在之前呼叫的美觀列印函式輸出之前出現。例如，
    Stdlib.print_string "<";
    Format.print_string "PRETTY";
    Stdlib.print_string ">";
    Format.print_string "TEXT";
    會產生輸出 <>PRETTYTEXT。

格式器

type formatter 

美觀列印方塊

美觀列印引擎使用美觀列印方塊和換行提示的概念來驅動美觀列印器的縮排和換行行為。

每個不同的美觀列印方塊種類都會引入特定的換行策略

• 在水平方塊內，換行提示永遠不會分割行（但該行可能會在巢狀較深的方塊中分割），
• 在垂直方塊內，換行提示永遠會分割行，
• 在水平/垂直方塊內，如果該方塊符合目前行，則換行提示永遠不會分割行，否則換行提示永遠會分割行，
• 在壓縮方塊內，換行提示永遠不會分割行，除非目前行上沒有更多空間。

請注意，換行策略是方塊特定的：方塊的策略不會規則內部方塊的策略。例如，如果垂直方塊巢狀在水平方塊中，則垂直方塊內的所有換行提示都會分割行。

此外，在 最大縮排限制之後開啟方塊會分割行，無論該方塊是否最終符合該行。

val pp_open_box : formatter -> int -> unit

val open_box : int -> unit

val pp_close_box : formatter -> unit -> unit

val close_box : unit -> unit

val pp_open_hbox : formatter -> unit -> unit

val open_hbox : unit -> unit

val pp_open_vbox : formatter -> int -> unit

val open_vbox : int -> unit

val pp_open_hvbox : formatter -> int -> unit

val open_hvbox : int -> unit

val pp_open_hovbox : formatter -> int -> unit

val open_hovbox : int -> unit

格式化函式

val pp_print_string : formatter -> string -> unit

val print_string : string -> unit

val pp_print_bytes : formatter -> bytes -> unit

val print_bytes : bytes -> unit

val pp_print_as : formatter -> int -> string -> unit

val print_as : int -> string -> unit

val pp_print_int : formatter -> int -> unit

val print_int : int -> unit

val pp_print_float : formatter -> float -> unit

val print_float : float -> unit

val pp_print_char : formatter -> char -> unit

val print_char : char -> unit

val pp_print_bool : formatter -> bool -> unit

val print_bool : bool -> unit

val pp_print_nothing : formatter -> unit -> unit

換行提示

「換行提示」會告訴美觀列印器輸出一些空格或分割行，無論哪種方式更適合目前的列印方塊分割規則。

換行提示用於分隔列印項目，並且必須讓美觀列印器正確分割行並縮排項目。

簡單的換行提示包括

• 「空格」：輸出空格或在適當時分割行，
• 「剪下」：在適當時分割行。

注意：對於美化列印引擎而言，空間和換行的概念是抽象的，因為這些概念可以完全由程式設計師重新定義。但是，在美化列印器的預設設定中，「輸出一個空格」僅表示列印一個空格字元（ASCII 代碼 32），而「換行」表示列印一個換行符號（ASCII 代碼 10）。

val pp_print_space : formatter -> unit -> unit

val print_space : unit -> unit

val pp_print_cut : formatter -> unit -> unit

val print_cut : unit -> unit

val pp_print_break : formatter -> int -> int -> unit

val print_break : int -> int -> unit

val pp_print_custom_break : formatter ->
       fits:string * int * string -> breaks:string * int * string -> unit

[
  a;
  b;
  c;
]
   

printf "@[<v 0>[@;<0 2>@[<v 0>a;@,b;@,c@]%t]@]@\n"
  (pp_print_custom_break ~fits:("", 0, "") ~breaks:(";", 0, ""))
   

val pp_force_newline : formatter -> unit -> unit

val force_newline : unit -> unit

val pp_print_if_newline : formatter -> unit -> unit

val print_if_newline : unit -> unit

美觀列印終止

val pp_print_flush : formatter -> unit -> unit

val print_flush : unit -> unit

val pp_print_newline : formatter -> unit -> unit

val print_newline : unit -> unit

邊界

val pp_infinity : int

val pp_set_margin : formatter -> int -> unit

val set_margin : int -> unit

val pp_get_margin : formatter -> unit -> int

val get_margin : unit -> int

最大縮排限制

val pp_set_max_indent : formatter -> int -> unit

val set_max_indent : int -> unit

 set_margin 10; set_max_indent 5; printf "@[123456@[7@]89A@]@." 

    123456
    789A
  

 printf "@[123456@[7@]89@]@." 

 printf "@[123@[456@[7@]89@]A@]@." 

val pp_get_max_indent : formatter -> unit -> int

val get_max_indent : unit -> int

幾何

幾何函式可用於同時操作耦合變數，即邊距和最大縮排上限。

type geometry = {

val check_geometry : geometry -> bool

val pp_set_geometry : formatter -> max_indent:int -> margin:int -> unit

val set_geometry : max_indent:int -> margin:int -> unit

val pp_safe_set_geometry : formatter -> max_indent:int -> margin:int -> unit

val safe_set_geometry : max_indent:int -> margin:int -> unit

val pp_update_geometry : formatter -> (geometry -> geometry) -> unit

val update_geometry : (geometry -> geometry) -> unit

val pp_get_geometry : formatter -> unit -> geometry

val get_geometry : unit -> geometry

最大格式化深度

最大格式化深度是同時開啟的美化列印方塊的最大數目。

較深巢狀方塊內的材料會列印為省略號（更精確地說是 Format.get_ellipsis_text () 傳回的文字）。

val pp_set_max_boxes : formatter -> int -> unit

val set_max_boxes : int -> unit

val pp_get_max_boxes : formatter -> unit -> int

val get_max_boxes : unit -> int

val pp_over_max_boxes : formatter -> unit -> bool

val over_max_boxes : unit -> bool

製表方塊

定位標籤方塊在分為固定長度的儲存格的行上列印材料。定位標籤方塊提供了一種簡單的方法來顯示左對齊文字的垂直欄。

此方塊具有命令 set_tab 來定義儲存格邊界，以及命令 print_tab 來從儲存格移動到儲存格，並且當行中沒有更多儲存格要列印時分割行。

注意：在定位標籤方塊中列印是以行定向的，因此定位標籤方塊內的任意行分割會導致呈現效果不佳。但是，在模組 Format 中控制使用定位標籤方塊允許簡單列印欄。

val pp_open_tbox : formatter -> unit -> unit

val open_tbox : unit -> unit

val pp_close_tbox : formatter -> unit -> unit

val close_tbox : unit -> unit

val pp_set_tab : formatter -> unit -> unit

val set_tab : unit -> unit

val pp_print_tab : formatter -> unit -> unit

val print_tab : unit -> unit

val pp_print_tbreak : formatter -> int -> int -> unit

val print_tbreak : int -> int -> unit

省略符號

val pp_set_ellipsis_text : formatter -> string -> unit

val set_ellipsis_text : string -> unit

val pp_get_ellipsis_text : formatter -> unit -> string

val get_ellipsis_text : unit -> string

語意標籤

type stag = ..

type stag += RGB of {r:int;g:int;b:int}

type tag = string 

type stag += 

val pp_open_stag : formatter -> stag -> unit

val open_stag : stag -> unit

val pp_close_stag : formatter -> unit -> unit

val close_stag : unit -> unit

val pp_set_tags : formatter -> bool -> unit

val set_tags : bool -> unit

val pp_set_print_tags : formatter -> bool -> unit

val set_print_tags : bool -> unit

val pp_set_mark_tags : formatter -> bool -> unit

val set_mark_tags : bool -> unit

val pp_get_print_tags : formatter -> unit -> bool

val get_print_tags : unit -> bool

val pp_get_mark_tags : formatter -> unit -> bool

val get_mark_tags : unit -> bool

val pp_set_formatter_out_channel : formatter -> out_channel -> unit

val set_formatter_out_channel : out_channel -> unit

val pp_set_formatter_output_functions : formatter -> (string -> int -> int -> unit) -> (unit -> unit) -> unit

val set_formatter_output_functions : (string -> int -> int -> unit) -> (unit -> unit) -> unit

val pp_get_formatter_output_functions : formatter -> unit -> (string -> int -> int -> unit) * (unit -> unit)

val get_formatter_output_functions : unit -> (string -> int -> int -> unit) * (unit -> unit)

重新定義格式器輸出

Format 模組功能非常強大，可讓您完全重新定義美化列印輸出的意義：您可以提供自己的函式來定義如何處理縮排、行分割，甚至是必須列印的所有字元的列印！

重新定義輸出函式

type formatter_out_functions = {

val pp_set_formatter_out_functions : formatter -> formatter_out_functions -> unit

val set_formatter_out_functions : formatter_out_functions -> unit

val pp_get_formatter_out_functions : formatter -> unit -> formatter_out_functions

val get_formatter_out_functions : unit -> formatter_out_functions

重新定義語意標籤操作

type formatter_stag_functions = {

val pp_set_formatter_stag_functions : formatter -> formatter_stag_functions -> unit

val set_formatter_stag_functions : formatter_stag_functions -> unit

val pp_get_formatter_stag_functions : formatter -> unit -> formatter_stag_functions

val get_formatter_stag_functions : unit -> formatter_stag_functions

定義格式器

定義新的格式器允許在多個輸出裝置上並行輸出不相關的資料。格式器的所有參數都是格式器本機的：右邊距、最大縮排限制、同時開啟的美化列印方塊的最大數量、省略符號等等，都專屬於每個格式器，並且可以獨立固定。

例如，假設有一個 Buffer.t 緩衝區 b，Format.formatter_of_buffer b 會傳回一個新的格式器，使用緩衝區 b 作為其輸出裝置。類似地，假設有一個 out_channel 輸出通道 oc，Format.formatter_of_out_channel oc 會傳回一個新的格式器，使用通道 oc 作為其輸出裝置。

或者，假設給定 out_funs，格式器的一組完整輸出函數，則 Format.formatter_of_out_functions out_funs 會使用這些函數進行輸出，計算出一個新的格式器。

val formatter_of_out_channel : out_channel -> formatter

val synchronized_formatter_of_out_channel : out_channel -> formatter Domain.DLS.key

val std_formatter : formatter

val get_std_formatter : unit -> formatter

val err_formatter : formatter

val get_err_formatter : unit -> formatter

val formatter_of_buffer : Buffer.t -> formatter

val stdbuf : Buffer.t

val get_stdbuf : unit -> Buffer.t

val str_formatter : formatter

val get_str_formatter : unit -> formatter

val flush_str_formatter : unit -> string

val make_formatter : (string -> int -> int -> unit) -> (unit -> unit) -> formatter

    make_formatter
      (Stdlib.output_substring oc)
      (fun () -> Stdlib.flush oc)
  

val make_synchronized_formatter : (string -> int -> int -> unit) ->
       (unit -> unit) -> formatter Domain.DLS.key

val formatter_of_out_functions : formatter_out_functions -> formatter

符號美觀列印

符號美化列印是使用符號格式器進行的美化列印，也就是說，格式器會輸出符號美化列印項目。

當使用符號格式器時，所有常規美化列印活動都會發生，但輸出資料是符號的，並且儲存在輸出項目的緩衝區中。在美化列印結束時，刷新輸出緩衝區允許在執行低階輸出操作之前，對符號輸出進行後處理。

實際上，首先使用

• let sob = make_symbolic_output_buffer () 定義符號輸出緩衝區 b。然後使用
• let ppf = formatter_of_symbolic_output_buffer sob

定義符號格式器。像平常一樣使用符號格式器 ppf，並在美化列印結束時，透過使用

• flush_symbolic_output_buffer sob.

type symbolic_output_item = 

type symbolic_output_buffer 

val make_symbolic_output_buffer : unit -> symbolic_output_buffer

val clear_symbolic_output_buffer : symbolic_output_buffer -> unit

val get_symbolic_output_buffer : symbolic_output_buffer -> symbolic_output_item list

val flush_symbolic_output_buffer : symbolic_output_buffer -> symbolic_output_item list

val add_symbolic_output_item : symbolic_output_buffer -> symbolic_output_item -> unit

val formatter_of_symbolic_output_buffer : symbolic_output_buffer -> formatter

便利的格式化函式。

val pp_print_iter : ?pp_sep:(formatter -> unit -> unit) ->
       (('a -> unit) -> 'b -> unit) ->
       (formatter -> 'a -> unit) -> formatter -> 'b -> unit

val pp_print_list : ?pp_sep:(formatter -> unit -> unit) ->
       (formatter -> 'a -> unit) -> formatter -> 'a list -> unit

val pp_print_array : ?pp_sep:(formatter -> unit -> unit) ->
       (formatter -> 'a -> unit) -> formatter -> 'a array -> unit

val pp_print_seq : ?pp_sep:(formatter -> unit -> unit) ->
       (formatter -> 'a -> unit) ->
       formatter -> 'a Seq.t -> unit

val pp_print_text : formatter -> string -> unit

val pp_print_option : ?none:(formatter -> unit -> unit) ->
       (formatter -> 'a -> unit) -> formatter -> 'a option -> unit

val pp_print_result : ok:(formatter -> 'a -> unit) ->
       error:(formatter -> 'e -> unit) ->
       formatter -> ('a, 'e) result -> unit

val pp_print_either : left:(formatter -> 'a -> unit) ->
       right:(formatter -> 'b -> unit) ->
       formatter -> ('a, 'b) Either.t -> unit

格式化的美觀列印

模組 Format 提供了一整套類似 printf 的函數，用於使用格式字串規範進行美化列印。

可以在格式字串中新增特定的註解，以向美化列印引擎發出美化列印命令。

這些註解在格式字串中使用 @ 字元引入。例如，@  表示空格分隔符，@, 表示斷點，@[ 開啟一個新的方塊，而 @] 關閉最後一個開啟的方塊。

val fprintf : formatter -> ('a, formatter, unit) format -> 'a

fprintf ff fmt arg1 ... argN 根據格式字串 fmt 格式化引數 arg1 到 argN，並將結果字串輸出到格式化器 ff。

格式字串 fmt 是一個字元字串，其中包含三種類型的物件：純文字字元和 Printf 模組中指定的轉換規範，以及 Format 模組特有的美化列印指示。

美化列印指示字元以 @ 字元引入，其含義如下：

• @[：開啟一個美化列印方塊。方塊的類型和偏移量可以選擇使用以下語法指定：< 字元，後跟一個可選的方塊類型指示，然後是一個可選的整數偏移量，以及結尾的 > 字元。美化列印方塊類型為 h、v、hv、b 或 hov。'h' 代表「水平」美化列印方塊，'v' 代表「垂直」美化列印方塊，'hv' 代表「水平/垂直」美化列印方塊，'b' 代表展示縮排的「水平或垂直」美化列印方塊，'hov' 代表簡單的「水平或垂直」美化列印方塊。例如，@[<hov 2> 開啟一個帶有縮排 2 的「水平或垂直」美化列印方塊，這與使用 open_hovbox 2 獲得的結果相同。有關美化列印方塊的更多詳細資訊，請參閱各種方塊開啟函數 open_*box。
• @]：關閉最近開啟的美化列印方塊。
• @,：輸出「斷點」提示，與 print_cut () 相同。
• @ ：輸出「空格」斷點提示，與 print_space () 相同。
• @;：輸出「完整」斷點提示，與 print_break 相同。斷點提示的 nspaces 和 offset 參數可以選擇使用以下語法指定：< 字元，後跟一個整數 nspaces 值，然後是一個整數 offset，以及結尾的 > 字元。如果未提供任何參數，則完整斷點預設為「空格」斷點提示。
• @.：刷新美化列印器並拆分行，與 print_newline () 相同。
• @<n>：將以下項目列印為長度為 n。因此，printf "@<0>%s" arg 將 arg 列印為零長度字串。如果 @<n> 後面沒有跟隨轉換規範，則將格式的下一個字元列印為長度為 n。
• @{：開啟一個語意標籤。標籤的名稱可以選擇使用以下語法指定：< 字元，後跟一個可選的字串規範，以及結尾的 > 字元。字串規範是不包含結尾字元 '>' 的任何字元字串。如果省略，則標籤名稱預設為空字串。有關語意標籤的更多詳細資訊，請參閱函數 Format.open_stag 和 Format.close_stag。
• @}：關閉最近開啟的語意標籤。
• @?：刷新美化列印器，與 print_flush () 相同。這等同於轉換 %!。
• @\n：強制換行，與 force_newline () 相同，這不是美化列印的正常方式，您應該優先在垂直美化列印方塊內使用斷點提示。

注意：為了防止將 @ 字元解釋為美化列印指示，請使用 % 字元將其跳脫。舊的引號模式 @@ 已被棄用，因為它與字元 '@' 的格式化輸入解釋不相容。

範例：printf "@[%s@ %d@]@." "x =" 1 等效於 open_box (); print_string "x ="; print_space ();
   print_int 1; close_box (); print_newline ()。它在美化列印的「水平或垂直」方塊內列印 x = 1。

val printf : ('a, formatter, unit) format -> 'a

val eprintf : ('a, formatter, unit) format -> 'a

val sprintf : ('a, unit, string) format -> 'a

val asprintf : ('a, formatter, unit, string) format4 -> 'a

val dprintf : ('a, formatter, unit, formatter -> unit) format4 -> 'a

  let t = Format.dprintf "%i@ %i@ %i" 1 2 3 in
  ...
  Format.printf "@[<v>%t@]" t

val ifprintf : formatter -> ('a, formatter, unit) format -> 'a

使用續體的格式化美化列印。

val kfprintf : (formatter -> 'a) ->
       formatter -> ('b, formatter, unit, 'a) format4 -> 'b

val kdprintf : ((formatter -> unit) -> 'a) ->
       ('b, formatter, unit, 'a) format4 -> 'b

val ikfprintf : (formatter -> 'a) ->
       formatter -> ('b, formatter, unit, 'a) format4 -> 'b

val ksprintf : (string -> 'a) -> ('b, unit, string, 'a) format4 -> 'b

val kasprintf : (string -> 'a) -> ('b, formatter, unit, 'a) format4 -> 'b

範例

一些熱身範例，以了解如何使用 Format。

我們有一個配對 (int * bool) 的列表 l，頂層會為我們列印出來

# let l = List.init 20 (fun n -> n, n mod 2 = 0)
  val l : (int * bool) list =
  [(0, true); (1, false); (2, true); (3, false); (4, true); (5, false);
   (6, true); (7, false); (8, true); (9, false); (10, true); (11, false);
   (12, true); (13, false); (14, true); (15, false); (16, true); (17, false);
   (18, true); (19, false)]
 

如果我們想自己列印，而不需要頂層的魔法，我們可以嘗試這樣做

  # let pp_pair out (x,y) = Format.fprintf out "(%d, %b)" x y
  val pp_pair : Format.formatter -> int * bool -> unit = <fun>
  # Format.printf "l: [@[<hov>%a@]]@."
    Format.(pp_print_list ~pp_sep:(fun out () -> fprintf out ";@ ") pp_pair) l
    l: [(0, true); (1, false); (2, true); (3, false); (4, true); (5, false);
        (6, true); (7, false); (8, true); (9, false); (10, true); (11, false);
        (12, true); (13, false); (14, true); (15, false); (16, true);
        (17, false); (18, true); (19, false)]

  

簡而言之，這樣做是

• pp_pair 列印一個用 "(" ")" 包圍的配對 bool*int。它會取得一個格式化器（發生格式化的位置）和配對本身。列印完成後，它會傳回 ()。

• Format.printf "l = [@[<hov>%a@]]@." ... l 類似於 printf，但具有額外的格式化指示（以 "@" 表示）。配對 "@[<hov>" 和 "@]" 是一個「水平或垂直方塊」。

• "@." 以換行符結束格式化。它類似於 "\n"，但也知道 Format.formatter 的狀態。請勿將 "\n" 與 Format 一起使用。

• "%a" 是一個格式化指示，類似於 printf 的 "%d" 或 "%s"。但是，當 "%d" 列印一個整數，而 "%s" 列印一個字串時，"%a" 會取得一個列印器（類型為 Format.formatter -> 'a -> unit）和一個值（類型為 'a），並將列印器應用於該值。這是列印器組成的關鍵。

• 我們使用 Format.pp_print_list ~pp_sep:(...) pp_pair 來建構一個列表印表機。pp_print_list 接收一個元素印表機並返回一個列表印表機。如果提供可選參數 ?pp_sep，則會在每個元素之間調用它來印出分隔符號。

• 在這裡，對於分隔符號，我們使用 (fun out () -> Format.fprintf out ";@ ")。它會印出 ";"，然後印出 "@ "，這是一個可斷行的空白（它會印出 " "，如果方塊即將溢出，則會印出換行符號）。這個 "@ " 負責將列表印成多行。

如果我們省略 "@ "，我們會得到一個醜陋的單行印出結果

# Format.printf "l: [@[<hov>%a@]]@."
      Format.(pp_print_list ~pp_sep:(fun out () -> fprintf out "; ") pp_pair) l
  l: [(0, true); (1, false); (2, true); (* ... *); (18, true); (19, false)]
- : unit = ()
    

一般來說，為你的程式中的重要類型定義自訂印表機是一個好習慣。例如，如果你要定義像這樣的基本幾何類型

  type point = {
    x: float;
    y: float;
  }

  type rectangle = {
    ll: point; (* lower left *)
    ur: point; (* upper right *)
  }
  

為了除錯目的，或在日誌或主控台上顯示資訊，為這些類型定義印表機將會很方便。以下是如何做到的一個例子。請注意，"%.3f" 是一個 float 印表機，在小數點後保留 3 位數的精度；"%f" 將會印出所有需要的位數，這有點冗長；"%h" 是一個十六進位的浮點數印表機。

  let pp_point out (p:point) =
    Format.fprintf out "{ @[x=%.3f;@ y=%.3f@] }" p.x p.y

  let pp_rectangle out (r:rectangle) =
    Format.fprintf out "{ @[ll=%a;@ ur=%a@] }"
      pp_point r.ll pp_point r.ur
  

在 .mli 檔案中，我們可以有

    val pp_point : Format.formatter -> point -> unit

    val pp_rectangle : Format.formatter -> rectangle -> unit
  

這些印表機現在可以在其他印表機中使用 "%a"。

 # Format.printf "some rectangle: %a@."
        (Format.pp_print_option pp_rectangle)
        (Some {ll={x=1.; y=2.}; ur={x=42.; y=500.12345}})
  some rectangle: { l={ x=1.000; y=2.000 }; ur={ x=42.000; y=500.123 } }

  # Format.printf "no rectangle: %a@."
        (Format.pp_option pp_rectangle)
        None
  no rectangle:
  

看看我們如何結合 pp_print_option (option 印表機) 和我們新定義的矩形印表機，就像我們之前使用 pp_print_list 一樣。

如需更詳細的教學，請參閱 "使用 Format 模組"。

最後一點：Format 模組是一個起點。OCaml 生態系統擁有許多函式庫，可以讓格式化更容易且更具表達力，並提供更多的組合器、更簡潔的名稱等等。這樣的一個函式庫的例子是 Fmt。

也可以使用 https://github.com/ocaml-ppx/ppx_deriving 或類似的 ppx deriver 從類型定義自動衍生出漂亮的印表機。