complete implementation of rightwards navigation (viL)

2024-10-17 02:57:26 +01:00
parent 21652a5381
commit 428e5f2ecd
6 changed files with 43 additions and 15 deletions
--- a/temp.txt
+++ b/temp.txt
@@ -0,0 +1,6 @@
+signature TEXT_BUILDER =
+sig
+  (* Prerequisite: LineGap is moved to requested line first. *)
+  val build: int * int * LineGap.t * int * int
+             -> MailboxType.t list
+enda