2024-10-17 02:57:26 +01:00
|
|
|
signature TEXT_BUILDER =
|
2024-10-17 06:25:43 +01:00
|
|
|
|
2024-10-17 02:57:26 +01:00
|
|
|
sig
|
|
|
|
|
(* Prerequisite: LineGap is moved to requested line first. *)
|
|
|
|
|
val build: int * int * LineGap.t * int * int
|
|
|
|
|
-> MailboxType.t list
|
|
|
|
|
enda
|
2024-10-17 06:25:43 +01:00
|
|
|
|