CCSDS Space Data Link Security (355.0-B-2)
ocaml-sdls: fix security_eio.mli example to compile with MDX
The example used 'fs', '...' and shorthand module references that don't
type-check. Wrap it in a 'run ()' function that takes env from
Eio_main.run, qualify Sdls_eio.Security_eio / Sdls.Security /
Sdls.Mc.Bad_mac fully, and replace the trailing '...' with a real
Printf.printf so the build catches drift.
+9
-5
+9
-5
eio/security_eio.mli
+9
-5
eio/security_eio.mli
···
12
12
{2 Usage}
13
13
14
14
{[
15
-
let store = Security_eio.of_path (fs / "data") in
16
-
Security.auth_failure store ~timestamp:12345L ~spi:1 ~reason:Bad_mac ();
17
-
Security.set_alarm store;
18
-
let events = Security.dump store in
19
-
...
15
+
let run () =
16
+
Eio_main.run @@ fun env ->
17
+
let fs = Eio.Stdenv.fs env in
18
+
let store = Sdls_eio.Security_eio.of_path Eio.Path.(fs / "data") in
19
+
Sdls.Security.auth_failure store ~timestamp:12345L ~spi:1
20
+
~reason:Sdls.Mc.Bad_mac ();
21
+
Sdls.Security.set_alarm store;
22
+
let events = Sdls.Security.dump store in
23
+
Printf.printf "%d events logged\n" (List.length events)
20
24
]} *)
21
25
22
26
val of_path : ?max_events:int -> _ Eio.Path.t -> Sdls.Security.t