Licklider Transmission Protocol (CCSDS 734.1-B) for reliable DTN links
Upgrade to ocamlformat 0.29.0; fix csvt/sexpt streaming; reformat
- Update .ocamlformat to 0.29.0 across all 591 files
- csvt: reuse single Buffer.t for field reads (no alloc per field)
- sexpt: Obj members decoded from stream into Dict, typed Variant GADT
- Reformat all source files for 0.29.0
+12
-14
+11
-13
eio/ltp_eio.mli
+11
-13
eio/ltp_eio.mli
···
15
15
{2 Quick Start}
16
16
17
17
{[
18
-
Eio_main.run @@ fun env ->
19
-
Eio.Switch.run @@ fun sw ->
20
-
let conn =
21
-
Ltp_eio.connect ~sw ~net:env#net ~host:"127.0.0.1" ~port:1113
22
-
in
23
-
let seg =
24
-
Ltp.data_segment ~session_id ~client_service_id:1L ~block_offset:0L
25
-
"hello"
26
-
in
27
-
Ltp_eio.send conn seg;
28
-
match Ltp_eio.recv conn with
29
-
| Ok seg -> process seg
30
-
| Error msg -> Fmt.epr "Error: %s@." msg
18
+
Eio_main.run @@ fun env ->
19
+
Eio.Switch.run @@ fun sw ->
20
+
let conn = Ltp_eio.connect ~sw ~net:env#net ~host:"127.0.0.1" ~port:1113 in
21
+
let seg =
22
+
Ltp.data_segment ~session_id ~client_service_id:1L ~block_offset:0L
23
+
"hello"
24
+
in
25
+
Ltp_eio.send conn seg;
26
+
match Ltp_eio.recv conn with
27
+
| Ok seg -> process seg
28
+
| Error msg -> Fmt.epr "Error: %s@." msg
31
29
]} *)
32
30
33
31
(** {1 Connection} *)