ocaml-scitt: enable MDX on lib/atp/scitt_atp.mli, fix broken doc example

Supply Chain Integrity, Transparency, and Trust (IETF SCITT)

Run mdx on lib/atp/scitt_atp.mli so the {[ ... ]} odoc block now
type-checks. The example called Heap_b.v -- a fictional shorthand the
test file constructs by hand via Irmin.Heap.Make over a custom
BACKEND. That backend is ~15 lines of test scaffolding that does not
belong inline in the .mli.

Replaced with a one-line `Irmin.Heap.of_list ~equal:Atp.Cid.equal []`
that gives a heap of the right type without the backend boilerplate;
this is enough to typecheck the Scitt_atp.v construction the doc
demonstrates.

Thomas Gazagnaire 1 month ago f45a468d 16933b60

+5 -1

2 changed files

expand all

lib

atp

dune

scitt_atp.mli

lib/atp/dune

··· 2 2 (name scitt_atp) 3 3 (public_name scitt-atp) 4 4 (libraries scitt atp atp-lexicon-scitt nox-irmin digestif ohex ptime)) 5 + 6 + (mdx 7 + (files scitt_atp.mli) 8 + (libraries scitt-atp atp nox-irmin unix))

+1 -1

lib/atp/scitt_atp.mli

··· 5 5 updates the branch ref. 6 6 7 7 {[ 8 - let heap = Heap_b.v (Atp.Blockstore.memory ()) in 8 + let heap = Irmin.Heap.of_list ~equal:Atp.Cid.equal [] 9 9 let vds = Scitt_atp.v ~heap ~now:Unix.gettimeofday 10 10 ]} *) 11 11

Configure Feed

Configure Feed