JJ: Description from the destination commit:

wip debug sigs

JJ: Description from source commit:
wip debug
This commit is contained in:
swrup 2026-02-07 00:11:25 +01:00
parent 6af4f57d20
commit 23a3efed19
166 changed files with 66 additions and 17466 deletions

15
.ocamlformat Normal file
View file

@ -0,0 +1,15 @@
version=0.28.1
exp-grouping=preserve
type-decl=sparse
break-infix=fit-or-vertical
break-collection-expressions=fit-or-vertical
break-sequences=false
break-infix-before-func=false
dock-collection-brackets=true
break-separators=after
field-space=tight
if-then-else=compact
break-sequences=false
sequence-blank-line=compact
exp-grouping=preserve
sequence-blank-line=preserve-one